{"entities":{"Q2234059":{"pageid":2244802,"ns":120,"title":"Item:Q2234059","lastrevid":71633724,"modified":"2026-04-13T23:32:11Z","type":"item","id":"Q2234059","labels":{"en":{"language":"en","value":"Compositional model checking for multi-properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410634"}},"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":"Q2234059$A4F4C6DF-F823-4795-8C4D-B988B543D875","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8daeb92aadc2eff2db9f52f97063aa807bcc89d","datavalue":{"value":{"text":"Compositional model checking for multi-properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234059$C989A02E-BEA7-412C-96CF-555677AFE8EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2bb578027c6dbfe5de5eb5b21d7a39047812444","datavalue":{"value":"1472.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234059$FC717E84-52BB-4D70-9520-C53901027DCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"524d4598ce6efc1612740bd17dd4c9b32eb6fcf9","datavalue":{"value":"10.1007/978-3-030-67067-2_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234059$16C77B86-74B4-4C12-AFAE-427CECDF9282","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26f641e314fd965b3193193c10ea7c335958ea69","datavalue":{"value":{"entity-type":"item","numeric-id":2234058,"id":"Q2234058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234059$CEAB4D9E-73D2-44DD-98CC-3B0C5A498C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00f54da6e19096b7295a17c11b9a25783abc5f44","datavalue":{"value":{"entity-type":"item","numeric-id":2232275,"id":"Q2232275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234059$ACE4EB5E-9068-4622-98A6-34A532E80A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234059$32E7C4A9-9EBF-4103-ACA5-F60053AAFACF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2234059$86864835-79AE-4089-BB44-E4433DBD4F92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234059$7183BCE0-D9C8-485E-9312-229B47B43FB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"213659017ac6a5382cbabf71faef81af745ea80f","datavalue":{"value":"7410634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234059$7693F171-C8DA-4B91-AC25-6B289703E0FB","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":"Q2234059$7DF49446-8371-409E-A01F-9810EE8ED9C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea25aa6569219a81a7e6ce6ef38daba3d511da7a","datavalue":{"value":"https://doi.org/10.1007/978-3-030-67067-2_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234059$4445FDA7-00EE-4502-BB46-2BDCEB617F3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64c0bf5960610f9a9713dd10ce2a5449e164edca","datavalue":{"value":"W3120552358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234059$14C922EF-EEF7-4D33-B374-373858AB9DB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"630969d37542185fa849643fa9c6a017b179642c","datavalue":{"value":{"entity-type":"item","numeric-id":6104799,"id":"Q6104799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234059$3E4C63DA-265B-49E7-8CA7-D404AEBF7D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234059$77BF0350-AE22-443C-9D63-AD2B37B926AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e2f2737200765d8d9c8f0dbe43634f400f6147a","datavalue":{"value":{"entity-type":"item","numeric-id":5090956,"id":"Q5090956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234059$BFC275D6-2DDD-4860-A1D7-BF9B1B6538F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4567bb3e0ef793d8304d6c1f73a078643324ec","datavalue":{"value":{"entity-type":"item","numeric-id":5145283,"id":"Q5145283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234059$DCE73006-5B8C-42F8-BDF1-8943070567CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6677bc561794503d751c500f49df0ec7267439ed","datavalue":{"value":{"entity-type":"item","numeric-id":2232276,"id":"Q2232276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234059$3964CF7E-F445-4287-B05B-C057B4626720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307327b3b020f23facd8f49e050ed758261e2ac2","datavalue":{"value":{"entity-type":"item","numeric-id":2891409,"id":"Q2891409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234059$C8AE1638-CD2E-47EE-831F-3179498EB566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8be379e4dc29012717f03e4095ea9a22614ac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1702908,"id":"Q1702908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234059$CE4ACD47-869C-44D7-A9DD-5508995C433D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e974e536e1e5ef78e02c4e4f5c09b5521b168313","datavalue":{"value":{"entity-type":"item","numeric-id":4636628,"id":"Q4636628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234059$CC3B4EAE-FD0E-4E09-9A11-D9E569EA4B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2035307cafcb1709a40ccbbcc0221ce03fbf423","datavalue":{"value":{"entity-type":"item","numeric-id":934706,"id":"Q934706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234059$066DD74E-6331-4BD0-898D-36673024C0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc3e320a29fb63240b3b709fe5bc497385756c5","datavalue":{"value":{"entity-type":"item","numeric-id":6194570,"id":"Q6194570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234059$3CFCBFD8-F28A-456C-B3B6-71BA4B63FE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635c32f054dbe1f1f21a3b02a893cd344b0e15de","datavalue":{"value":{"entity-type":"item","numeric-id":5897442,"id":"Q5897442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234059$D65695C5-1512-43AC-9519-509933BACEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226f61b4d9d1ec867f4b915536bf1f6ae4d7b725","datavalue":{"value":{"entity-type":"item","numeric-id":5190790,"id":"Q5190790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234059$ADF8F8C2-F24A-4DF2-8A7B-7FBE199483B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e5818cbecc8148d7991be1816cad6accd3b692","datavalue":{"value":{"entity-type":"item","numeric-id":6039399,"id":"Q6039399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234059$E99AA0A7-3F62-4C84-A841-3F8D1CED5818","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95343ebf7aa3a2a166e273ab43cb51942840a9af","datavalue":{"value":{"entity-type":"item","numeric-id":2234054,"id":"Q2234054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c7897904bdc9c81d8316472cad3702137b7b879","datavalue":{"value":{"amount":"+0.8181478381156921","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":"Q2234059$DAD13250-DB1E-4A52-B3C3-1DF06EBA28F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273036887260558587b0b74bdb27bb5400fa51c2","datavalue":{"value":{"entity-type":"item","numeric-id":1702908,"id":"Q1702908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d2c4ace6ab730458d73c4a3e75bd02977b2f58","datavalue":{"value":{"amount":"+0.7939323782920837","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":"Q2234059$63BC32FF-73DB-4C92-83C2-6E3FC614718D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d3edab88afa51955f4c584f4d10c7fdf468a3dd","datavalue":{"value":{"entity-type":"item","numeric-id":6045002,"id":"Q6045002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91b9d4dfd34d414512a5d06896be0102fbace8d2","datavalue":{"value":{"amount":"+0.7838770747184753","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":"Q2234059$49397B1F-8F8E-4176-90E4-E2D7262AD6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d672bc119c6f2601b0011fccb9bb2bab36dfaab","datavalue":{"value":{"entity-type":"item","numeric-id":5883578,"id":"Q5883578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0960868ecc5f23237c56fb7a5ed3e8a0415aa0d","datavalue":{"value":{"amount":"+0.7791516184806824","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":"Q2234059$515E0321-21CD-469D-A400-B8125A5A1AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd427047b2441cd7c4fcf405b2ce2cbcb63eb67d","datavalue":{"value":{"entity-type":"item","numeric-id":2008281,"id":"Q2008281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2b00b52a29a28ba8ba75d0d7a38e4ad1cbf8e05","datavalue":{"value":{"amount":"+0.7762393355369568","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":"Q2234059$1E2C4C88-5174-47C6-99D0-49677EE4CC7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional model checking for multi-properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_model_checking_for_multi-properties"}}}}}