{"entities":{"Q3719805":{"pageid":5749711,"ns":120,"title":"Item:Q3719805","lastrevid":50666810,"modified":"2026-01-14T18:03:52Z","type":"item","id":"Q3719805","labels":{"en":{"language":"en","value":"Can message buffers be axiomatized in linear temporal logic?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3949687"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719805$A20F1C7F-09E1-4947-B390-2FF110A20206","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"157b6eff55f8797123ddf41c6200008f1681cddf","datavalue":{"value":{"text":"Can message buffers be axiomatized in linear temporal logic?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3719805$953336A3-381A-4CD6-A422-6C323D37D67C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d21567a48431b9a6f4a9c36034846be8e7930b49","datavalue":{"value":"0591.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719805$1BF81729-C506-4190-868D-D8044FD518A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46aac0774445f26bec7c3046fbea499225a399f5","datavalue":{"value":"10.1016/S0019-9958(84)80043-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719805$1D2507A8-7E8C-41A9-866D-7B28244CA38A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"915fe2271680029c92c89bfe53140a1b9f9036f5","datavalue":{"value":{"entity-type":"item","numeric-id":198033,"id":"Q198033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719805$C529E99D-0264-4AF0-B0ED-CA7720174514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a3deb8c3bb69905bbf6e6a826dde89e56c83a","datavalue":{"value":{"entity-type":"item","numeric-id":174819,"id":"Q174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719805$0968B952-6112-400D-AF02-434832FBD186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1491ce4cefcb5d07a122e169f280e92b36dc114a","datavalue":{"value":{"entity-type":"item","numeric-id":751293,"id":"Q751293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719805$B285EC8D-0EA0-4487-AA8B-E25F95749FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719805$B885A55E-9DB7-42D7-9691-1AF109D83DEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719805$2CC0A72C-C73A-4584-B902-9CA1617E4B84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3719805$4F74D856-89EA-49E8-8B86-F6A2CC8BE2E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719805$C7AF334D-B9C6-4F0C-9145-062D8F0511DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e3659c4613263f968b7d1c2c99d7fbe8d3bd2e8","datavalue":{"value":"3949687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719805$AA854C86-65E7-40A9-B838-68909C8C1012","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2fa9e3a526fc5bd94b012859534aa70bd0e2c75","datavalue":{"value":"Message passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719805$1074D134-9B8C-4B09-A302-38A1F6909A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"442b9d04d28bb1cc4d8a4a63208e6690985459b2","datavalue":{"value":"interprocess communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719805$87A72650-64FA-4189-90FD-F87FFB64F8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e225ac4aec700ae2c67cab0cb7802b0627e7a3da","datavalue":{"value":"distributed system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719805$C391058D-07F0-4152-8ABD-023D25AEBB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c36a3de1ecf54a0ff1528e473bebfb2a55fa7f1b","datavalue":{"value":"FIFO buffers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719805$2C236B0B-663F-4C4A-8518-93634BD2BC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90bd542d40a8f25ad979f83fa24870637c90abdd","datavalue":{"value":"LIFO buffers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719805$3D1A33C4-6270-405B-8D58-71A89A5FB816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beac7624c9d803fb589fd162dccd43f4e5e25e32","datavalue":{"value":"unordered buffers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719805$652ACD22-395E-4082-8ED0-77FFDBCCA7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f0a0d846f96d0ad21fc394acb3c1906b48ab4b","datavalue":{"value":"propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719805$5F72F4B8-E279-4F1E-BE8C-7BF44F92C6FD","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719805$DECEA7BA-D7D6-4852-A4D2-35FCB76700F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16ed4a2d03c148d7119de96fda3bc4332052c36","datavalue":{"value":{"entity-type":"item","numeric-id":2754167,"id":"Q2754167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"864aec3d851e424d9c8cc47476643475a47b70e6","datavalue":{"value":{"amount":"+0.7969465255737305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3719805$FBDE3DB9-D09A-4126-827E-E5AC4FAFD164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71b22ccc0264f13d297e53e242567a8304d8cd0","datavalue":{"value":{"entity-type":"item","numeric-id":4414394,"id":"Q4414394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e52d80179af2f0aaf483432b91257b6c61f59ff2","datavalue":{"value":{"amount":"+0.7637556195259094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3719805$F8C11324-E898-4A63-BEE2-F4BCBFEE8B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59289eb57be78c6723034daf9cdc87f89f68e01a","datavalue":{"value":{"entity-type":"item","numeric-id":5311471,"id":"Q5311471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4326ca6d31a37d5bb5d0a66cba7d3941b3ce10f1","datavalue":{"value":{"amount":"+0.75913405418396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3719805$043103A5-CAEF-420F-BEEC-5788B765547D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26472a0d6508529930bc67010f7c69ffc025a76c","datavalue":{"value":{"entity-type":"item","numeric-id":684564,"id":"Q684564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a6e96fb22b0b3c56353381eae97675015e19ef","datavalue":{"value":{"amount":"+0.7543393969535828","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3719805$22C42E2B-35FB-4061-95BB-0592CAA93E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07bfce2bd16a86af783d90e27947458b64b5d463","datavalue":{"value":{"entity-type":"item","numeric-id":1894680,"id":"Q1894680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a6e96fb22b0b3c56353381eae97675015e19ef","datavalue":{"value":{"amount":"+0.7543393969535828","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3719805$86E62218-1482-4438-AC72-E26350AB7BB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3719805","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3719805"}}}}}