{"entities":{"Q6041175":{"pageid":13175276,"ns":120,"title":"Item:Q6041175","lastrevid":47854693,"modified":"2026-01-02T21:36:39Z","type":"item","id":"Q6041175","labels":{"en":{"language":"en","value":"Verifying bounded subset-closed hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689286"}},"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":"Q6041175$0D736674-0516-4442-9F5B-ECCFE95DAA52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5143325546c5af27537d6b04a62072658ead72b5","datavalue":{"value":{"text":"Verifying bounded subset-closed hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6041175$07569F92-796B-4277-AE6F-9C05FDBF02FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa8aa731039920ac87bb208a1d386dd52174a21f","datavalue":{"value":"1511.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041175$A0BBCC72-20D3-45E7-AC50-358B89CFF361","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d350b9d2ec6cf30301eb818d34ed1144db7f9931","datavalue":{"value":"10.1007/978-3-319-99725-4_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041175$FEAD2D7A-2909-4F70-8AB9-24064EE85E8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"145dfc643b53f471cb50f045a5c8b4f60a920b97","datavalue":{"value":{"entity-type":"item","numeric-id":511011,"id":"Q511011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041175$8212A4A7-642B-4B4C-A906-88F9AC3FFEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a36a06cedff2982fd5c5ff6ea0c18a1a420e9561","datavalue":{"value":{"entity-type":"item","numeric-id":1650960,"id":"Q1650960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041175$93729F96-CF05-4D75-A9EC-003DB226472B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041175$2D215DDD-181C-4E00-9B2E-6263F1137C7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-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":"Q6041175$B23341BF-8877-4B0A-8417-1D2448AD4DE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041175$7649DAAC-2895-4566-AF6E-68C56A4F2D06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"103fee933f3114d3468e54cb3b9924a17fd852b9","datavalue":{"value":"7689286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041175$753A98D5-3A2A-4E87-970C-07E82690011F","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":"Q6041175$2AE9A9EB-ADC3-487D-8155-CEAF0C61C375","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bb5f3650c3e6690dff5df6ade6385ecc4c3fc00","datavalue":{"value":"https://doi.org/10.1007/978-3-319-99725-4_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q6041175$6374F88C-D037-4EBA-BFD0-51FD0398699D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3476375367255f83a1c8df20b6179139fc4cd28","datavalue":{"value":"W2889050595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041175$0066DAF2-DC0B-4932-9696-3CF8675F2D81","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f6dff70b2e36faea09cd87eab73e515ccbee8b","datavalue":{"value":{"entity-type":"item","numeric-id":5233244,"id":"Q5233244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1489eda76fe506a6e861ed869f64f20f0c8bb3bd","datavalue":{"value":{"amount":"+0.7848195433616638","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":"Q6041175$B7011F93-34A0-469B-ABE7-F6352738E4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e743215197f7d370efd304a47ca4265b61f2fb7b","datavalue":{"value":{"entity-type":"item","numeric-id":4967242,"id":"Q4967242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea17a63563bdf41ac0fe3dfa57a8966a0691b854","datavalue":{"value":{"amount":"+0.7596786022186279","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":"Q6041175$AB2ADC04-C518-4B51-9196-AAF5128F506C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"955da1880ed4c2ec8784ef1a663a18726b303a4d","datavalue":{"value":{"entity-type":"item","numeric-id":5370922,"id":"Q5370922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abfed53324e1f1f46dc2316181a4218d38185e8b","datavalue":{"value":{"amount":"+0.7482748031616211","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":"Q6041175$FBE52B80-67AE-443A-A21E-1DF8B6C388BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a881ee9d4f7c65515250e9bc2bdce222c8b6372e","datavalue":{"value":{"entity-type":"item","numeric-id":6487322,"id":"Q6487322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96aff4a2be6cf9e0ed202bd6d70c66d64e91481a","datavalue":{"value":{"amount":"+0.7386642694473267","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":"Q6041175$9BE72C8D-91A2-40BE-91BC-0EDD69468797","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":"c414a2134771938253c05d175768cf5722191975","datavalue":{"value":{"amount":"+0.7330871224403381","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":"Q6041175$CCA29599-469A-4CE0-9136-0673C1452EAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6041175","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6041175"}}}}}