{"entities":{"Q5190791":{"pageid":7220363,"ns":120,"title":"Item:Q5190791","lastrevid":50727770,"modified":"2026-01-14T23:10:42Z","type":"item","id":"Q5190791","labels":{"en":{"language":"en","value":"Logic-based diagnosis for distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587284"}},"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":"Q5190791$08FC8B57-14F9-4DD8-8A49-778DE1112805","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ead7f34761c72c68836524de8abbecca0a2e42f6","datavalue":{"value":"1193.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190791$71C33293-A3D9-4D72-906D-D7424E8973DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6230ef9d4b83b0e88153405817b4f8862216ee7c","datavalue":{"value":{"entity-type":"item","numeric-id":418806,"id":"Q418806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190791$AA5B327A-9D5D-4C0D-B82C-6D41CADCCAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ee0686316e41522af7e7375060d21297bc137f6","datavalue":{"value":{"entity-type":"item","numeric-id":436616,"id":"Q436616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190791$EBAD4191-78E6-49E4-8891-EB42B2688752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ee3539eb3a3ab9e5b60e927f65eeebb6c97fd28","datavalue":{"value":{"entity-type":"item","numeric-id":481348,"id":"Q481348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5190791$5B77640B-F605-45A1-9FFD-EDA5225FAC5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d60ea8f72fb34c12d98efcbb4ab2f5f6bfd76074","datavalue":{"value":{"time":"+2009-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5190791$94D75534-972C-42F0-BC43-9A6292754931","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190791$B1F4D769-DDFC-44AF-BF9E-9358AB619173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190791$597D15EC-1F3C-4296-82A8-CB70FDC9A535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190791$073ABCD6-8A3B-43DA-B91A-48E5F6C8F388","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"354052ba615aecad8babe63b10abcd12e681516c","datavalue":{"value":"5587284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5190791$1BEFB255-B78A-4945-9CC9-E78D70E343BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbd3ab7bf1fbafed768194a39eff6e0454fe108","datavalue":{"value":"partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190791$132692BC-394C-4EB0-A642-2702C01C3384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e8251378e6e40b9e946d030aeb94b41e173c61","datavalue":{"value":"diagnosis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5190791$C5B3D46B-F305-4E3D-B73F-DBA668A7EB41","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":"Q5190791$F43B0AB5-B71F-46F7-9507-C0B3EEC72B27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19cb9e421bc83eb48ddd0c3ef523b660a5c912e1","datavalue":{"value":{"entity-type":"item","numeric-id":481349,"id":"Q481349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88ea16723d705c446482b0f7e319e47f04144751","datavalue":{"value":{"amount":"+0.789034903049469","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":"Q5190791$C26BB404-8464-443E-A33D-3CABF4DC50DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d094776c3ac2c7994bd4517d8cd908bee7197f","datavalue":{"value":{"entity-type":"item","numeric-id":2999114,"id":"Q2999114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a60b97ab7605e7a313fc1b6f8a91b447a25b4968","datavalue":{"value":{"amount":"+0.7743355631828308","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":"Q5190791$653C17BB-60CD-49E7-966B-9E6F997488D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb094a867915492d8cf9bc36ac96ea00a5cc210","datavalue":{"value":{"entity-type":"item","numeric-id":5708976,"id":"Q5708976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"705c58390e758070e02597f391b76d2c2acd5e11","datavalue":{"value":{"amount":"+0.7658043503761292","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":"Q5190791$83679EE0-226A-471F-875C-5EAEDB54CC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6587696831030f8187f6d21bf1f872ab3a9135f0","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"101b8d481d4cdea03a794e68367410934f6aadc4","datavalue":{"value":{"amount":"+0.7644314765930176","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":"Q5190791$CE5FABF0-B378-4E00-BCE8-4DE0F702A223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696fcffad79537758c89a58fb45e1746051b9b76","datavalue":{"value":{"entity-type":"item","numeric-id":3337383,"id":"Q3337383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87d6110a2b0a212c6068a0e3eb9b2fee873878d4","datavalue":{"value":{"amount":"+0.7633464932441711","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":"Q5190791$C5267284-8B8D-4D87-B672-97D172BA840C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5190791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5190791"}}}}}