{"entities":{"Q1177943":{"pageid":1188692,"ns":120,"title":"Item:Q1177943","lastrevid":66508923,"modified":"2026-04-12T10:32:11Z","type":"item","id":"Q1177943","labels":{"en":{"language":"en","value":"Specification styles in distributed systems design and verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 22511"}},"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":"Q1177943$8422969C-E7A8-41C7-8936-7068BF4E4173","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a378a1efe914953a613e6a83e05446af8f81ab1a","datavalue":{"value":{"text":"Specification styles in distributed systems design and verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177943$1E520D1D-F729-4D7F-AFD9-FE41718DA1C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17e25a2a721526fea40c63ba336bf9da8610a4ff","datavalue":{"value":"0772.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177943$25F39254-6E99-497D-9DAC-756A8BF82F0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e614d7dfcfe53b69ea716d0cb825b33a5e46b60","datavalue":{"value":"10.1016/0304-3975(90)90111-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177943$1B311628-88FC-4AB7-9373-AA20901823CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"172d7f97f5930c66f625a5d357fa171c622500c5","datavalue":{"value":{"entity-type":"item","numeric-id":1177940,"id":"Q1177940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177943$6AEA2751-DCA6-48F7-B681-BCC7951D3898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66eb2ea2330f37bfa45aac8fc506557c2f5de33c","datavalue":{"value":{"entity-type":"item","numeric-id":665768,"id":"Q665768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177943$12E1F503-7507-4516-B1A0-DB626C4A00C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14340316b12f98461653ff0a5e8b8055ab540fda","datavalue":{"value":{"entity-type":"item","numeric-id":1177941,"id":"Q1177941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177943$F0A3AEAF-D751-44F2-AF0C-1396006525CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d189efbb864dab1c393b5827da7020cd9a7d98b5","datavalue":{"value":{"entity-type":"item","numeric-id":1177942,"id":"Q1177942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177943$6C3D7992-D399-46AC-8C06-4D0E77BE30CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177943$D4BA7AA2-2052-4A90-9AE5-6CA62D6249F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1177943$9DF4D38F-1F44-423E-83C7-88B1988D56A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177943$F0D1C4D4-2A23-4E55-9A21-02CC165300CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e786cd63f835f9ace6212767d56284a5121b2e6c","datavalue":{"value":"22511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177943$108F371B-340D-4840-9DB8-F5281338119E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177943$92B3B5C8-254D-4DAC-A240-DD06B3047884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177943$61BBDCC0-678F-49BE-8E7B-565E3DB6BA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69adf3da04ed0880fe8dbafa336b00bf77bc6568","datavalue":{"value":"specification language LOTOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177943$B6A2C01E-645D-43B3-BE0C-98B6E8936324","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177943$51D9CF2C-410E-444B-A5D5-1E3E5E6DDF5B","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":"Q1177943$BF715D1A-8A92-4B64-BFF5-C4544BFCE84F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3889c3aaae9df20ce7481b19c53c5a0516bc52f","datavalue":{"value":{"entity-type":"item","numeric-id":580965,"id":"Q580965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177943$0DCF3DDE-B02B-4D46-9B4D-A4E17490B048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177943$51738483-823D-4203-9E91-0D059D606C64","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":"Q1177943$2C9B2210-A662-43A5-9083-969F3A41BB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"623619071b024e7792bffe623a1f704ecbe967ae","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177943$7FE98987-E3CA-45D3-8240-2DAC1FE2057C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177943$2D7B4E4D-B9E8-43B5-B253-8B522DC394AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177943$F0EAFCAF-1763-467F-B1AF-32E6E13EB36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38fd91746d52c6e95577227ca648026c392e49f2","datavalue":{"value":{"entity-type":"item","numeric-id":752689,"id":"Q752689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177943$9EE943F9-B8D4-4852-9AA4-6B5C1F89BACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177943$EF57915A-518C-4CE0-84FC-3B48AB9F4525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9197cbc9665692cfaf763a42b30a099e1811e19","datavalue":{"value":{"entity-type":"item","numeric-id":3675511,"id":"Q3675511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177943$BDB30AC7-BAAA-4ACD-9523-5FF4990A8431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177943$80B819C2-1A29-42D2-8435-900FB7FCD9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba41f8ecd77f0632e922eba4a8dc824d5b88c3b","datavalue":{"value":{"entity-type":"item","numeric-id":3773301,"id":"Q3773301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177943$9E483F91-642A-49B7-B8B8-01DE3E5B6FE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a94403e93604ccc63ec6d34032ceb65b81b6deed","datavalue":{"value":"https://doi.org/10.1016/0304-3975(90)90111-t","type":"string"},"datatype":"url"},"type":"statement","id":"Q1177943$D305ED9C-EFEE-4865-B93E-15C6CA8A1D35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b57acc23bb94a00a1e0a732dc834cd5acc278ddf","datavalue":{"value":"W2135012291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177943$950C2804-08E2-445F-BCFD-35B4ED7F2156","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcd949f16d0bf6be49cc213c409bbf3ce8366464","datavalue":{"value":{"entity-type":"item","numeric-id":1089790,"id":"Q1089790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df37caddbd6753866bf4c0ee2602b159b377a138","datavalue":{"value":{"amount":"+0.91774994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1177943$2739EFC3-6B02-4BDF-A833-C75CAF01DB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7edcd92a7db476a82bf885ead04d707bae7f2277","datavalue":{"value":{"entity-type":"item","numeric-id":3677156,"id":"Q3677156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f85b90c6b90c23ccf6c7e941ad834df5b6b5cf39","datavalue":{"value":{"amount":"+0.9157265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1177943$7325E155-FCA1-4451-B895-351953A14E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b73b61fb075ee41fa8e36bcb24b38adc915702b","datavalue":{"value":{"entity-type":"item","numeric-id":3721801,"id":"Q3721801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c666d2504a63166e0bd2dd17d8348e2368628be0","datavalue":{"value":{"amount":"+0.89232814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1177943$39999A7F-73F9-4CAE-AB0E-E371B9747B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f1b51db0600bbdcf404b304fc3651693085989","datavalue":{"value":{"entity-type":"item","numeric-id":3677155,"id":"Q3677155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc8da037244a1372b021fde4a9cc6451888ecfef","datavalue":{"value":{"amount":"+0.89220315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1177943$7B6F15A0-6743-45A7-9940-30E3EAADFBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25741ad3432035ce11f563c8f6dc6eec92d50d0d","datavalue":{"value":{"entity-type":"item","numeric-id":3814786,"id":"Q3814786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff90aba31559dc32d9ea641de439ebc9112b00e5","datavalue":{"value":{"amount":"+0.8893937","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1177943$6A4B8A20-00D3-45E7-9C0D-784DD9C0E9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"970c006e3b2ffec25f961c8178c7fb8bd6a620ce","datavalue":{"value":{"entity-type":"item","numeric-id":2291825,"id":"Q2291825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"931331b0b4ec45ac234e86220623a1b3c46cf27b","datavalue":{"value":{"amount":"+0.88282967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1177943$36CC2D8A-A4F8-417D-A48F-CBCCEA3A29EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd336dea9aad9daeec041f9da154af7a40f3c0be","datavalue":{"value":{"entity-type":"item","numeric-id":4023311,"id":"Q4023311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17704f96f0354813deed0141e34291389c5e7cea","datavalue":{"value":{"amount":"+0.88202596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1177943$85F05CBE-3418-4760-96FC-74E72B941B64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification styles in distributed systems design and verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specification_styles_in_distributed_systems_design_and_verification"}}}}}