{"entities":{"Q948076":{"pageid":949924,"ns":120,"title":"Item:Q948076","lastrevid":65595036,"modified":"2026-04-12T03:40:30Z","type":"item","id":"Q948076","labels":{"en":{"language":"en","value":"Muller message-passing automata and logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5349798"}},"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":"Q948076$AE6AEF2E-E172-43F4-87D8-1E06982A892C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8dd527c2796b84c047307303f1c3cc81fb8eeb0b","datavalue":{"value":{"text":"Muller message-passing automata and logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q948076$4E1C94EC-0CE6-4C63-B305-810F59EDE228","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad2d6f467665dd8eca389eae0d32feca842f2007","datavalue":{"value":"1154.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948076$6169DA76-3225-4B41-9EE7-4A9CBA368DE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65221e215393442395d12a6532e173c4dee8b90f","datavalue":{"value":{"entity-type":"item","numeric-id":420854,"id":"Q420854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948076$FD802017-EBB8-4A29-830B-3529A0661421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f9028ed4d5274f77df4d4f9e07b117d4309ffd","datavalue":{"value":{"entity-type":"item","numeric-id":420855,"id":"Q420855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948076$FC182705-2AA1-4623-8779-E4057BF948ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948076$728B3F33-3EFB-48F6-8BAD-6D7EC57A8A6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b09fa46f2b03bdf1f5a12466d7178f56b100279b","datavalue":{"value":{"time":"+2008-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q948076$1FC422C4-6CE8-477F-A4DA-2F56D0309957","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948076$C2C48298-753D-4A1D-AE65-ACAF0993518C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948076$1CE677F0-C4E7-45ED-A28B-9386CA6B261B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948076$8A6500B3-51CC-4DF1-944A-051644AB6B66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9196bcaa82982b9e50635e94c643dd0ae828d81","datavalue":{"value":"5349798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948076$BBF3173E-0CAC-414F-A1C6-4EEDA9B3998D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q948076$8254F403-037A-4E5A-89C8-7A0C328DC41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03a4a344bc741b4eb9c9224c7c9b0d0a879d400d","datavalue":{"value":"Muller automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q948076$4331B4E5-8A6B-4972-80CC-FF25B3F2FD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"491cb2b4bf92ce71ef0a9c2e7a41b4a236fbb807","datavalue":{"value":"message-passing automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q948076$D5EB0DB6-36A2-4D88-B377-0E3724FCBCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4444cc0390403868399ecfd4b879566cdad8b1af","datavalue":{"value":"infinite message sequence charts","type":"string"},"datatype":"string"},"type":"statement","id":"Q948076$87AA95B1-8BDB-4B2D-8FD0-9C9E9124C3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q948076$E7229136-1BF4-47DD-BF26-8A711B1001AA","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":"Q948076$9223A039-9979-405A-BB5E-BD976D1D4CB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3774e57ff704fd35606736f476dd18b6846b7dfa","datavalue":{"value":"https://doi.org/10.1016/j.ic.2008.03.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q948076$57FFBE9E-8C70-4B81-B66B-DCEA8154A333","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c568d8768f98e6ce9e43cbda73cd460a91824eb","datavalue":{"value":"W1973172637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948076$2EB7496C-F645-48CA-AEBC-94543478D20A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"44215fba535e4838ff9ef2f49cee6494643d177b","datavalue":{"value":{"entity-type":"item","numeric-id":2503037,"id":"Q2503037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948076$6DF9B7FA-C18B-4F24-A5F9-3A88465A4FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948076$A48D1A7E-475C-463E-954C-7ED050C6386E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948076$CF30A323-7FBF-4EC8-9093-375D1235DB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c9eb0bc39c2db4fa09c1fc685181796f068e9","datavalue":{"value":{"entity-type":"item","numeric-id":1211504,"id":"Q1211504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948076$BDE6CF52-B45E-454E-9D9C-83B414AE650A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36ea81354c8bdbe612711a0d4f9b865a29e3eddf","datavalue":{"value":{"entity-type":"item","numeric-id":1338892,"id":"Q1338892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948076$1C207461-8E18-4B48-B28F-2760078B59E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0e2fc579ef4fe265d6a6af547312be8351d925","datavalue":{"value":{"entity-type":"item","numeric-id":1583242,"id":"Q1583242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948076$16F51195-3EEF-4093-B7D0-B65ADC7F7523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d82147a59885a4bb491b402567e198ff80dfb2","datavalue":{"value":{"entity-type":"item","numeric-id":672860,"id":"Q672860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948076$303324E3-CF0C-47DF-8335-E627D5F6973F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948076$9C79508E-FAA3-46B0-A71B-48B2E120B00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e0764aeed39aa126a10e8f93075b006d5650c5","datavalue":{"value":{"entity-type":"item","numeric-id":5204349,"id":"Q5204349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948076$2D6B6984-AE80-4813-89BA-1CA76EC21364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610f18af86e72d607815e49bf82138004c1095e4","datavalue":{"value":{"entity-type":"item","numeric-id":2496297,"id":"Q2496297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948076$966DAE7B-351F-400B-A333-C2C42E49C6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d51884ce52d70cd57236b11c06e7add9289d22b","datavalue":{"value":{"entity-type":"item","numeric-id":5551141,"id":"Q5551141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948076$CA133D04-5B64-4212-807E-1F88D9BAFD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01bdc88213ad901fc13d8a639e5a25c91349bfab","datavalue":{"value":{"entity-type":"item","numeric-id":2573333,"id":"Q2573333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948076$9B5E8E66-38A9-41A1-9018-3B271C29DAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4c706cf525e1e8895186e5fdf1a56f877c4c63f","datavalue":{"value":{"entity-type":"item","numeric-id":1887140,"id":"Q1887140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948076$6817F21D-E469-4E69-AFA2-1E9CCE270CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948076$74C7159D-052C-48F5-A6DA-F02A46490C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ba1aa9ba63109dfb9e9cfe9514ee2ccfc1398c","datavalue":{"value":{"entity-type":"item","numeric-id":5659525,"id":"Q5659525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948076$44D8675D-1F26-42DC-B7A1-34BAB5F7EEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948076$338CCF32-DEC1-414E-97CB-5C6F5F715347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a556551d16cb1c6ff494052a8d0e0a8b36f907c","datavalue":{"value":{"entity-type":"item","numeric-id":2557698,"id":"Q2557698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q948076$176A746D-F964-4E5D-A6A9-5201FD5CF30A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e12259ea3d9be6199d07550615ec25c519b5f25","datavalue":{"value":"10.1016/J.IC.2008.03.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q948076$52753286-EEBE-4B6C-B912-FE7D0B18E427","rank":"normal"}],"P1643":[{"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":"81eed9095d1f3c3302555350560e7266a1947bcf","datavalue":{"value":{"amount":"+0.8560323119163513","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":"Q948076$160E6803-B017-4B04-858E-C88D455A689C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9078a4ccf4ab0bbc42a6174966e55ee6c80e01a2","datavalue":{"value":{"entity-type":"item","numeric-id":2503037,"id":"Q2503037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3caf38407e6372f17cf7a91697660a7342a7766","datavalue":{"value":{"amount":"+0.8548500537872314","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":"Q948076$ED71565B-0308-4357-A104-3FC5D7B7B637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"377095959bcaca1f5ce9d0286e15d5ad89a30ca6","datavalue":{"value":{"entity-type":"item","numeric-id":1887140,"id":"Q1887140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d617c3158d9c35042ce0738c75e87b38f309f7e7","datavalue":{"value":{"amount":"+0.7964666485786438","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":"Q948076$F9127181-D989-4DE8-A93C-B41BFFC99A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77d5992cfa966335aed6a867eeb0cc984eae3ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4736865,"id":"Q4736865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3b80e22dce961f00a517b6cb02677b0ab89e56","datavalue":{"value":{"amount":"+0.7912101149559021","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":"Q948076$CACDB8EC-9C26-45AC-9CB3-EEEFD36F045E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9473a43b8b700df76f9ae5fb04b2808d979bfa05","datavalue":{"value":{"entity-type":"item","numeric-id":2958538,"id":"Q2958538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efccb946200f064938941ae5aac746379f0e025e","datavalue":{"value":{"amount":"+0.7659006714820862","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":"Q948076$2BF77D05-6D4D-482B-B31E-39A2605025D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Muller message-passing automata and logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Muller_message-passing_automata_and_logics"}}}}}