{"entities":{"Q2863829":{"pageid":2874549,"ns":120,"title":"Item:Q2863829","lastrevid":51884888,"modified":"2026-01-20T11:39:48Z","type":"item","id":"Q2863829","labels":{"en":{"language":"en","value":"Simpler reasoning about system properties: a proof-by-refinement technique"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235699"}},"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":"Q2863829$F1D4E43A-443A-4FB5-A9B0-81E1B44F5B87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6db3932ce6da6a2cf4ea49418628fbffa2094c18","datavalue":{"value":"1276.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863829$98031DA7-819C-4879-8BCC-D8212A6C858B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10b2924bc184272c3cad99f5639f0cb363c78955","datavalue":{"value":{"entity-type":"item","numeric-id":2863828,"id":"Q2863828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863829$8A0350AB-48C1-410A-B37A-747AC5F58886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f873669a3827a1de6420d8ea2364ad081b4b85b8","datavalue":{"value":{"entity-type":"item","numeric-id":450093,"id":"Q450093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863829$F5C0498F-1F4D-4B87-B4A0-F43A6D975CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863829$578FE39D-C18C-467F-A28C-726405EB3A2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863829$92C845C8-AD73-4CF2-AA3B-3A201827B6D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07632bb7b213152040474f1df94ec65245f0bfa4","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105050887?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863829$B5AF6AD0-9B66-4FED-8509-A2F31797D2A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863829$415F6894-47B2-41D7-8807-99E09B58D00C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa6da3fe79b21e1880d2cd5fcbc4a805e2d814f5","datavalue":{"value":"6235699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863829$12E68D20-B533-40E4-9718-9D794866E739","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56e2bb29096bece740dc8e645256701aee83d754","datavalue":{"value":"proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863829$0DA95859-3001-4A17-A03C-C87D55BEDE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863829$269C3BA3-F0CB-4B8F-8351-513AFDB3FD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6c8223143402d63869cb92db7f64e9cbcbc6f9c","datavalue":{"value":"Circus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863829$D5CCE584-05FC-4C59-AF33-C979D2570FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30fafc44265dfa91ca2c1422c4fc2ccc0afa28bf","datavalue":{"value":"Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863829$8264E1BF-7C4C-458D-987A-78C3B2E7B497","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":"Q2863829$AAB6AC75-F14F-4E83-A728-48AD980CEB50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ec8e481c41b3f2712aca5c2aadaaa6929c4b987","datavalue":{"value":{"text":"Simpler reasoning about system properties: a proof-by-refinement technique","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863829$5E60DC70-0068-4032-BBEA-583F2869CEBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9a3a7bd6f648ff266352564b47deffbfbb84804","datavalue":{"value":{"entity-type":"item","numeric-id":2999326,"id":"Q2999326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"321096f9de1a8825311d7965035ce632ba77b83c","datavalue":{"value":{"amount":"+0.7434847950935364","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":"Q2863829$93F2FC8B-A358-4CA8-9A45-2BE12421998B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f8a269e9bd338e02db8289f93130805f1ce8e7","datavalue":{"value":{"entity-type":"item","numeric-id":4702601,"id":"Q4702601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34a83c08aab185b8eb383e0a6073f9db92c3bb62","datavalue":{"value":{"amount":"+0.7329840064048767","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":"Q2863829$104B7927-AF45-49E6-BF7C-B02509500FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1ec6d937d521fc45490acf8aa503fd3f527780e","datavalue":{"value":{"entity-type":"item","numeric-id":4635909,"id":"Q4635909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66b1057f1b970d928212e2ed0dcc855053f6a826","datavalue":{"value":{"amount":"+0.724286675453186","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":"Q2863829$6C08326C-71DA-43CE-A1BB-7CF9518BC74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf64a328e6a3e7fd7c2737040e946ea82bbcc339","datavalue":{"value":{"entity-type":"item","numeric-id":4250663,"id":"Q4250663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c268513e85d7c9c1c197deb60dc1853efd90c2e9","datavalue":{"value":{"amount":"+0.7101830840110779","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":"Q2863829$4E786923-A33D-4A73-B80D-3DB7910F89EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dcfd6779a450826e4f563f4737fef7a941297d3","datavalue":{"value":{"entity-type":"item","numeric-id":2723332,"id":"Q2723332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7d5d9b22a9ef3eacd43c22c1382e9bededd6f8","datavalue":{"value":{"amount":"+0.7097468972206116","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":"Q2863829$943AD174-DC66-4D35-B2DF-516AD0E2ABED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863829","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863829"}}}}}