{"entities":{"Q3601068":{"pageid":5630974,"ns":120,"title":"Item:Q3601068","lastrevid":50562878,"modified":"2026-01-14T10:02:07Z","type":"item","id":"Q3601068","labels":{"en":{"language":"en","value":"A framework for prototyping and reasoning about distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5503702"}},"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":"Q3601068$A9C07AED-45CC-43DE-B089-80CEF070A9AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e9593171cd7f2d03c306c57dbd85ef0a30e5130","datavalue":{"value":"1172.68353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601068$2B610526-04F9-4582-9215-549F00CAC393","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"220bea3d0f6dd7786981e47cb29e75f243083d44","datavalue":{"value":{"entity-type":"item","numeric-id":875960,"id":"Q875960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601068$A560236D-FE28-44A8-90C7-791210E55326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19b934d4b20a6a8e1518ba1be8d3f7f439aafc12","datavalue":{"value":{"entity-type":"item","numeric-id":875961,"id":"Q875961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601068$9EB372FF-F0BF-482D-B4E2-D05107AF1B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7e988238c885876ac453175913b9f533d7f55a8","datavalue":{"value":{"entity-type":"item","numeric-id":3601067,"id":"Q3601067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3601068$341EE2E6-65DD-473E-870E-0AC1754FD882","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"534babf470585851b3efc418a9a4130e46805740","datavalue":{"value":{"time":"+2009-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3601068$853FD814-3BC9-4ACD-806A-3DDDDC5E5C92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601068$152FE7B3-8C5A-4B6D-AEEF-5CB933BCA7B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b32cfa3f5ecc5f321a73f414849f6240452fe969","datavalue":{"value":"5503702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3601068$FE773BC8-7AE4-4A6F-82E9-ED96DA79F33D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00ab658ce8ce649cc5076ddd4ca0df7de190d70f","datavalue":{"value":"semi-formal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3601068$E0F7D47E-7067-46A0-8618-008FE11830F6","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":"Q3601068$725ED18E-EB91-4071-BA7B-06BAECCAB099","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d2807496a2b12f4c94cccd6107cc46181507ce3","datavalue":{"value":{"entity-type":"item","numeric-id":4473027,"id":"Q4473027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78015d47aa350f5de55988c39caf21c498e553e8","datavalue":{"value":{"amount":"+0.7519442439079285","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":"Q3601068$4EA7BE8B-AF39-4DCA-9370-91979EF3DA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29197cf54cadb631a07d1bc88e2c4213117dd643","datavalue":{"value":{"entity-type":"item","numeric-id":1274743,"id":"Q1274743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db1375abc8e20c5e70d07f6effe56ee1d6108e0","datavalue":{"value":{"amount":"+0.745732307434082","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":"Q3601068$4657DCE8-76ED-4033-9DF7-51AC15B2D0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b56cd46207f6e06db3efc5b66145a132c927c3","datavalue":{"value":{"entity-type":"item","numeric-id":5018776,"id":"Q5018776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c51e7e786624bb063471b5d5483f67808fb4dc","datavalue":{"value":{"amount":"+0.7198764085769653","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":"Q3601068$C7B11013-8782-4DE7-B212-10C125B73187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff0b012deed74f439e2423d3e15a337c02f35cf6","datavalue":{"value":{"entity-type":"item","numeric-id":1881311,"id":"Q1881311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9911e425204bfccbed2f2551fba5d278807ac73","datavalue":{"value":{"amount":"+0.7127256989479065","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":"Q3601068$D42B482F-FA98-4B21-B348-856A2AF03C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772a41b0f21244efde345729686abe7e57b5bcc6","datavalue":{"value":{"entity-type":"item","numeric-id":4244543,"id":"Q4244543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa23a01913ea65f58757f709b48c7264b78e9b6c","datavalue":{"value":{"amount":"+0.7117112278938293","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":"Q3601068$26A497F5-55C3-4ADD-9847-4BE06A834603","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3601068","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3601068"}}}}}