{"entities":{"Q2495548":{"pageid":2506291,"ns":120,"title":"Item:Q2495548","lastrevid":73433439,"modified":"2026-04-14T15:57:53Z","type":"item","id":"Q2495548","labels":{"en":{"language":"en","value":"Composing invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5037425"}},"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":"Q2495548$77EB1EEE-B927-4A53-A6C9-459BB2400B78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"718b3205901b85d972583d3dd61dc5add0003307","datavalue":{"value":{"text":"Composing invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2495548$D16DFE85-3EB8-427E-A00F-D8ADAE92D6BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d6e6ed89aeffa9d1dadeadf5ce420f5b754949f","datavalue":{"value":"1101.68686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495548$2D581E94-8831-4C28-89CE-9626D7992E0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14c34a24a3f636d021cc37b73393936016c93510","datavalue":{"value":{"entity-type":"item","numeric-id":239149,"id":"Q239149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495548$68CBCBE1-2426-4DA3-9404-3244D28E411E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495548$4F432DBC-2C57-47BD-8393-3B7946070DEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e66041b42d053f5f2145cbbf08b1b29afba170b","datavalue":{"value":{"time":"+2006-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2495548$2200CD80-B4E9-4486-A6C3-604AB7023E07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495548$27E79187-8533-400C-92DA-69387F06CB52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1c212138334c96ac22ac1a7756a7979dba680f2","datavalue":{"value":"5037425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495548$AB2A7F2B-149D-4BD0-AFB5-53D55855F433","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f800464e75612c667137e587dd9f59cf5eb2ccb","datavalue":{"value":"reactive and concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495548$20C5C7D0-EFD5-4833-B708-18AA07A5BDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495548$E22CF531-F907-4314-90B9-26EB164F5239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495548$1F64BB04-2283-494A-9A0C-49A29E1DE00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495548$83EA7217-54DA-4F1B-8593-E9FA1FE0CF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495548$10E4321B-DB97-43AA-8B4C-E03CEF0003F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"924464f81ef73c02dc7a165e616914b203c3b863","datavalue":{"value":"software components","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495548$809B477F-68DE-4CCE-8966-F17BE6E960EB","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":"Q2495548$26FA03E5-4EE4-4DED-AF90-814621A37CB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b924147366331ce291c90746a5385f61e7c1b8fd","datavalue":{"value":"https://doi.org/10.1016/j.scico.2005.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2495548$DCA56CAF-45AC-4ADE-98F2-D13772803DD1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d12ac78e35f5456a0ad4908423fc195cf899b36","datavalue":{"value":"W2911438463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495548$C40D8397-1756-4568-B8E9-89D8DFBA2A73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad2a74728bb267d0a90b5611d5166a7936cdd5df","datavalue":{"value":"10.1016/J.SCICO.2005.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495548$43113D50-3E44-4E11-8189-9E4729507E1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a96ce41fc33461e09ea6c8d068115bde1b0a4ca","datavalue":{"value":{"entity-type":"item","numeric-id":1894676,"id":"Q1894676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6dc13e0d10993cc6fcf88de68edadaa09dd6b3e","datavalue":{"value":{"amount":"+0.9081486","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":"Q2495548$B111591E-F038-4225-9FBC-AFBC48A1E414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6110a6391a1a6ccfe2e6dc545804d085afd21fa1","datavalue":{"value":{"entity-type":"item","numeric-id":3770642,"id":"Q3770642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a63c0f44cb314af19b383d7dbf832fe7dae3be10","datavalue":{"value":{"amount":"+0.9000187","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":"Q2495548$718419F7-445F-4D7E-AEEE-BEFDC1453A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"347525db5b60f5a023b98076eeb9ead6bc8a842e","datavalue":{"value":{"entity-type":"item","numeric-id":2646458,"id":"Q2646458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adabe8e78413b8e030d992d4447411e39afbd6e9","datavalue":{"value":{"amount":"+0.89198184","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":"Q2495548$3B5DAE96-7E89-40F0-98F5-5DA3FCA3CD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40bc3c119eddf129c0c4ce873a39f69baa22d6c4","datavalue":{"value":{"entity-type":"item","numeric-id":1174670,"id":"Q1174670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da42e7040e8c412de5f3a0b3fe8f58abe0faf7dd","datavalue":{"value":{"amount":"+0.8892578","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":"Q2495548$B42EE651-3E64-4F78-8C48-DEBDC69BD53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac1bec8754bc3db191e7445f686c9b9b370c7cb","datavalue":{"value":{"entity-type":"item","numeric-id":1818835,"id":"Q1818835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b74a227a4aefe0de71e721d02b711ba4eea5eeb","datavalue":{"value":{"amount":"+0.86691993","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":"Q2495548$4C4E6D41-B3D8-4B6E-BD2B-C4065201815A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b28ab8c4e4a650208b5b4e2f6fcdfdb88f2f71","datavalue":{"value":{"entity-type":"item","numeric-id":1030252,"id":"Q1030252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d3a942ae9660b8416c6168f8adccea922b372a","datavalue":{"value":{"amount":"+0.8660582","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":"Q2495548$9BD92625-8C4B-407D-BB4F-3D1FFE7AD246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f8e5c68a579d1a415f85160f50de6326a7acdf0","datavalue":{"value":{"entity-type":"item","numeric-id":6060344,"id":"Q6060344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da334faa89bdecd9e7d0678a7ab3e811d6c157a4","datavalue":{"value":{"amount":"+0.8620925","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":"Q2495548$00FD0F50-BF7B-4C00-8848-80C9E345B5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b295a5c6f8f07a8c6b90ba9e5fe94059fd0ea382","datavalue":{"value":{"entity-type":"item","numeric-id":855348,"id":"Q855348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e80434f94534ce3cede963ca39859db964bc6e","datavalue":{"value":{"amount":"+0.8609168","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":"Q2495548$2AE9E4BE-8890-4368-B1BB-0A60682D44C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d9bf24ce031a8c9376d9b8637e72dda81c69e2c","datavalue":{"value":{"entity-type":"item","numeric-id":2051544,"id":"Q2051544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f220996d30e71575af213caa51c9e78450423bc1","datavalue":{"value":{"amount":"+0.86086726","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":"Q2495548$367E9185-4108-421E-B6D3-12FDE7F9791A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c13a12471f79be5140ded3e7df0006311a0f19","datavalue":{"value":{"entity-type":"item","numeric-id":2779069,"id":"Q2779069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d610d886d0b4a03fdb8e7fcc4dbef1afff7d1a31","datavalue":{"value":{"amount":"+0.8583834","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":"Q2495548$054394E2-F98C-4C50-ABE2-143C387BD2C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Composing invariants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Composing_invariants"}}}}}