{"entities":{"Q1779319":{"pageid":1790061,"ns":120,"title":"Item:Q1779319","lastrevid":48493663,"modified":"2026-01-05T00:15:38Z","type":"item","id":"Q1779319","labels":{"en":{"language":"en","value":"A framework for specifying and verifying the behaviour of open systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2173069"}},"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":"Q1779319$4B6D06E3-CF6D-4A69-B585-93CB99FA5808","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6042355b39b5f31767d1c90c71f20cd6fd96c31","datavalue":{"value":{"text":"A framework for specifying and verifying the behaviour of open systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1779319$FDE8FF09-2261-4C0F-B8E2-19449F33ABCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ec0b59c0ce5c946c4ef02414a5b918703df7432","datavalue":{"value":"1080.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779319$E642CD9A-6257-4F19-93C9-B76B9B1DF401","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ae369af57669e5ec8b7819be59bf6e141567dbb","datavalue":{"value":{"entity-type":"item","numeric-id":959789,"id":"Q959789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779319$8663F8E9-805E-433B-8FAA-86F9AEB4900D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e105f5452a33d5c31b2de16d56cb54daabe02cb1","datavalue":{"value":{"entity-type":"item","numeric-id":615892,"id":"Q615892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779319$DE5F2C93-9192-4963-B4B0-FA2DCCE91EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f86d2ae42b4ac6b7475aa3d6d5d960440f9add9b","datavalue":{"value":{"entity-type":"item","numeric-id":672702,"id":"Q672702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779319$2DC8A617-F7C5-4648-B4E1-4F61DA909F83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779319$CD7214AB-01BB-4508-8C28-A847765A7034","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e4d578b35a7e3b754503335b980ec15049161ec","datavalue":{"value":{"time":"+2005-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1779319$724ECD77-3D3A-49F3-B782-BAFC3BA38322","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779319$375CB297-478D-47D1-B344-388B5B8747B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779319$0F7E45A3-7D3A-40F1-8372-120FA67DDF16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"166d8027abd3206308e89193f411c9cc749f39c2","datavalue":{"value":"2173069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779319$B09FACD5-98DD-4D6D-B9E3-5ADF2AF41BE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d85cf22b968e2820e7a711c47b7066ababea3303","datavalue":{"value":"Open systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1779319$D06BBF8D-34B7-40F7-A294-10D53648E744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f951d59b7cd2fdb80573cfa6f1a2c42adfa904e4","datavalue":{"value":"Process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1779319$73311B00-6496-40E4-AFE0-2F5D21AD3A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1779319$22FF31F4-4489-4C63-A07E-2A0CC5DE2C7A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67dc44392b5218e5db28fca577b61569531068ea","datavalue":{"value":{"entity-type":"item","numeric-id":21407,"id":"Q21407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779319$5DE201A9-FCD6-473B-977E-CC5E3E68D875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e2ca14962b57bc6d6077e1004937020e349067d6","datavalue":{"value":{"entity-type":"item","numeric-id":13989,"id":"Q13989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779319$6DF224BE-CC9A-4C56-91FE-40D8A962A5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eb1db820c26d9ba6d5deda835b754b91bc4a4527","datavalue":{"value":{"entity-type":"item","numeric-id":15438,"id":"Q15438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779319$58AD66A4-EBA8-465E-B75F-D7484F2C6379","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":"Q1779319$2F4EBC2F-41D6-48AA-993E-E01B61402537","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0aab9311e26b04912095eb2a58f431052c83e348","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2004.05.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1779319$DB6D4233-7492-4A8A-824D-80A284DF4B74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"948195e07bfe516033267eec46a2d6e6c35ef9d9","datavalue":{"value":"W1996632489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779319$E5C34848-F23A-45D4-B188-8584734AE5F5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fcdea46c63db7a95ad59a658232754fa6213539c","datavalue":{"value":"Q62046308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779319$9DD5707D-BA48-43CD-849E-1A1FA4ADD4BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779319$F202FD5D-4A14-4322-BC9A-7C5DEC4E0CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def2b108e51a9b4eb5389f20e9af0e62be989b9d","datavalue":{"value":{"entity-type":"item","numeric-id":1917085,"id":"Q1917085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779319$8E866C3E-67E5-4615-B4FC-5F40EBD3E2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779319$3AB778CB-1392-4E1F-AB28-9D70BFDFD269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e5a7c348b78c650fc9974609d5be6a4e069ae6","datavalue":{"value":{"entity-type":"item","numeric-id":4331846,"id":"Q4331846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779319$0F050404-E2B9-4F8D-A6D0-D7E1C83F9D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee8efe4264ae75966a79b7465567e8861e3ac81c","datavalue":{"value":{"entity-type":"item","numeric-id":3579033,"id":"Q3579033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779319$E6A58A34-C6D4-4485-88D4-B200FFFF33FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779319$055E97D9-70E8-433A-8D52-588482E2C8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779319$AB11CBCE-2E67-45B0-95EE-955208ADEACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51af7781746b51e645c23f7a9adacf556b176da0","datavalue":{"value":{"entity-type":"item","numeric-id":4738168,"id":"Q4738168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779319$D89D161A-005E-4D97-A708-5A1869898741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab35f4a7d55ba33e39746dca3e29f44516746a","datavalue":{"value":{"entity-type":"item","numeric-id":2996148,"id":"Q2996148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779319$150CC6C5-EE88-425F-A9F8-2C743F6FC67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d93dd79b0fea526285d11cad154c44abe0aa20","datavalue":{"value":{"entity-type":"item","numeric-id":3046793,"id":"Q3046793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779319$4AD843E9-08FE-4A68-B03C-C216F095F5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1779319$2F0AAFD3-A850-4A42-AC5E-D1DDA4279EC9","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"f41d0b3af5d4acb47491fa7a1d0976a0516c8606","datavalue":{"value":"journals/jlp/BraccialiBT05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779319$F3EA9446-3504-403C-9168-1C197DC5F124","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3cb3d98e6a551ed79723bb479e103d446a8e9cd","datavalue":{"value":"10.1016/J.JLAP.2004.05.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1779319$CE205842-1FE3-4A41-A1D5-E7E2BEA36BB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c495e658379ae31af88b505b03f11929ce58a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":1859540,"id":"Q1859540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"403218f598bd44b296a4da3386fe12d614dd37fb","datavalue":{"value":{"amount":"+0.7094433307647705","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":"Q1779319$34F33461-34D8-4B03-B3AC-16B0452BDD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d8fb7df65148217e6e49782ccd07a05a15bd9e","datavalue":{"value":{"entity-type":"item","numeric-id":2849570,"id":"Q2849570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b59ff586993b95e7ff1ca2d4379a2c1d2b490018","datavalue":{"value":{"amount":"+0.7063254714012146","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":"Q1779319$32BA5BD8-B8EE-444B-9057-1987B1330E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a55555c522279fd6cdb94d07d59b15725aaa041c","datavalue":{"value":{"entity-type":"item","numeric-id":1675795,"id":"Q1675795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"757e2099fbb5e6ba33573dd1077d38bcc8fc9d1e","datavalue":{"value":{"amount":"+0.6822417378425598","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":"Q1779319$7F04205C-A627-45CD-A7DF-3E57B9AA1533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5b3cc2d02540544b6251e3479941db87a61eb6","datavalue":{"value":{"entity-type":"item","numeric-id":4804906,"id":"Q4804906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b22a486f0e678f965e6899161d184f74bc13585","datavalue":{"value":{"amount":"+0.6802637577056885","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":"Q1779319$90D9223A-6FC2-4780-A49F-4BCBC49B99CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68bcaa39ea2400ca9ba04ac8d46a8f7c75100b12","datavalue":{"value":{"entity-type":"item","numeric-id":5949499,"id":"Q5949499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84f29509f4a9f4f8150577c8110ceee4b11b1eb","datavalue":{"value":{"amount":"+0.6758140921592712","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":"Q1779319$BCE398AE-7D40-47FB-AEA9-300C65714C5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1779319","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1779319"}}}}}