{"entities":{"Q3196343":{"pageid":3207051,"ns":120,"title":"Item:Q3196343","lastrevid":58142988,"modified":"2026-04-03T23:50:38Z","type":"item","id":"Q3196343","labels":{"en":{"language":"en","value":"Detecting unrealizability of distributed fault-tolerant systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6501859"}},"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":"Q3196343$5945350F-89CC-4A5A-9639-30D3BC9E47A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8544c8d1d49ae22c3b84d106cd4666322585d969","datavalue":{"value":{"text":"Detecting Unrealizability of Distributed Fault-tolerant Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3196343$DDBDDB4C-3212-4B46-9A15-CE16972985C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2523df8d65578114536e2dca40aa38e62ea2b841","datavalue":{"value":"1448.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196343$EFA8C509-850F-4A5A-A776-7DD4129DD1F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97bed17ff0776838813871aca012f34b647a40f5","datavalue":{"value":"10.2168/LMCS-11(3:12)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196343$7AF43D2B-382D-4EC9-8865-BD4822C51C17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196343$E033E7C6-554A-4FFC-BC83-31CD45BE7CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b101b98a6bd34faf7b0864d086dc15dbfa8592e6","datavalue":{"value":{"entity-type":"item","numeric-id":1784964,"id":"Q1784964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196343$27886BED-A789-4BF9-973F-9C0A4386C7AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196343$4E8612AB-718E-45A0-A1C2-6DA840C1B94E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bdde30cb0823a415fe067202cfd3663abd98a96","datavalue":{"value":{"time":"+2015-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3196343$71E6A7C3-F63D-4AF8-9E92-6E57B61D1EFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"199810d5b582d26b2ef1238c8e5834055e07d0c9","datavalue":{"value":"https://arxiv.org/abs/1505.06862","type":"string"},"datatype":"url"},"type":"statement","id":"Q3196343$4A98DF65-FEAB-4FD4-B490-5224E058247E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196343$0AD06124-FD01-4D40-85DF-36BAB8FF481A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196343$819F0654-6ECB-41BC-BE82-3C3277644E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196343$67A34CC4-6EE4-4C9C-A983-58B534C38445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196343$22378F87-6F3F-4929-80E3-75260C74CA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196343$12E4D0A4-7446-4420-A354-F901DCC94B2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acab53a1de6b344361d0a4a76f473ba7461cf01b","datavalue":{"value":"6501859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196343$51A1B029-9F11-4F8A-B88C-5D91A0E0D05E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"884c56ec58b79b2ead19bd7c1ad298425c1e8cd1","datavalue":{"value":"distributed synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196343$179A7F94-6455-4F35-8C2B-F1C060D8C245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ddd745fe9bab1983b420aca632b09a81afbc1d3","datavalue":{"value":"fault-tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196343$7363C8A0-28B5-427A-8644-8D406C73A61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efd991f3d1a72273d52b745fb5a2815d7ac6c288","datavalue":{"value":"coordination logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196343$89E0CD79-4999-4481-B969-384CE2850FAC","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":"Q3196343$1AD50EA3-74BE-466C-B6F3-06FAB4FF09CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66e3d99720f5cc6599d563a49104648fb27c3ad9","datavalue":{"value":"W2214514062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196343$9868A8ED-904B-4B0B-A102-266B50C69E86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b95f69560dc81eaf6e323e898ecd802495a7f8","datavalue":{"value":{"entity-type":"item","numeric-id":3648709,"id":"Q3648709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a182a4e0a738c6859b7e92f3a22e1694ae6f41e","datavalue":{"value":{"amount":"+0.7688736319541931","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":"Q3196343$AE5983E5-73B6-42D7-9266-D9EE1695A77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c91f584730ca8dd18e34c388b00eb956ec2e5a","datavalue":{"value":{"entity-type":"item","numeric-id":5370906,"id":"Q5370906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6427634690e96a674b623bb6933eaa5e46e2fc2","datavalue":{"value":{"amount":"+0.7629027366638184","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":"Q3196343$63BF380F-FAC6-4D5E-8348-61491D66E09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cc52e06ad5309cedad88a1ac03be43d7aaf760","datavalue":{"value":{"entity-type":"item","numeric-id":2249664,"id":"Q2249664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09bd0239af2224c575f8c00ac76c02de5e4598e4","datavalue":{"value":{"amount":"+0.7376632690429688","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":"Q3196343$C95BC60C-65BE-4E49-9796-A78AA75A8604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"378b91d17b54025dc2fa49ceec9ef023e7adb9fc","datavalue":{"value":{"entity-type":"item","numeric-id":4633532,"id":"Q4633532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60e41b5b51a6bc122cc40de94b6f177feadcf2e9","datavalue":{"value":{"amount":"+0.7363831996917725","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":"Q3196343$4466C696-4170-4E75-88EE-0A8633391CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19df23a03534d66f28a60afd02a8bbc2eae6dd9c","datavalue":{"value":{"entity-type":"item","numeric-id":5452707,"id":"Q5452707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba8c40a2eca286dbaca441f40bc47e0cc122f88","datavalue":{"value":{"amount":"+0.7304996252059937","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":"Q3196343$124B3897-C897-4283-A2E5-7D8401A73E78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3196343","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3196343"}}}}}