{"entities":{"Q6160774":{"pageid":13295655,"ns":120,"title":"Item:Q6160774","lastrevid":47856388,"modified":"2026-01-02T21:43:26Z","type":"item","id":"Q6160774","labels":{"en":{"language":"en","value":"A logical framework for reasoning about local and global properties of collective systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691353"}},"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":"Q6160774$C0F26859-4DC6-42AF-B115-8FBCE52639AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0593ac28c8824f7d29bb02a0b0d981ab614e3afb","datavalue":{"value":{"text":"A logical framework for reasoning about local and global properties of collective systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160774$B5EE5597-41B9-4C0E-975D-B563215C6AE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6add44129ac2b8a6c6a770d9581c5544c1532699","datavalue":{"value":"1522.68333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160774$04EB072C-0B86-4C17-BBD8-A430855EB9C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d78b9a89e93455941f89e168ac3306ee4f1579a","datavalue":{"value":"10.1007/978-3-031-16336-4_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160774$A013F606-AB13-416B-85A3-B4E785E9B19F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"478c5d203cda1eac5cd92bfbe3b380bfa8a8508e","datavalue":{"value":{"entity-type":"item","numeric-id":384932,"id":"Q384932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160774$391C3326-26F0-498C-ADBF-AEDB86A62EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e95ad7878664369d523eb131e0e91d1faa1b77f1","datavalue":{"value":{"entity-type":"item","numeric-id":6160773,"id":"Q6160773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160774$441D404E-458E-4CFC-B2C6-9D29A9200DED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"14c790a373839096cbb828adccdd03da8785642b","datavalue":{"value":{"entity-type":"item","numeric-id":5194919,"id":"Q5194919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160774$EF50B6F3-2E36-45E1-AC62-64DC7E8B5AD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160774$DBCFFB40-DE3E-4A59-A507-B4CF141E5BD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160774$6ACEEF3C-EE86-47EB-A3DF-BA48298B7507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160774$5A3866D5-B7E3-40A8-AB0D-C800CA439E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160774$B8856D66-F245-457E-8FB0-7CE2E7D9D9A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e80667835a8104f98561d0918031d3aa1267a28","datavalue":{"value":"7691353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160774$B2E95211-2A07-4A69-8BA6-7F16860995EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160774$99348998-EDC1-4CA0-863E-0A77A2D3E75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160774$94DCFBDC-B177-4915-BC07-3C797CF44429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"552bd09c6794c68bd97b741fdad68bb0ebd1c1b5","datavalue":{"value":"local and global properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160774$F84908C9-99DE-4BC2-AC28-80CD13543555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015d53df36ae9acd1f8775cfe587734e55d5e5c5","datavalue":{"value":"statistical model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160774$F26BAB64-4688-4F96-BADA-D13CF36F6D56","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":"Q6160774$EA159B8E-4907-4846-9755-FBAEC88B6F1D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0f630ec2db96fb85e64c260da1243a08bb7a9a06","datavalue":{"value":"Q124438287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160774$34AFA588-86B6-45DF-8472-31295C005405","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ac004d45aa56246d172f2967371ac5833be9c7","datavalue":{"value":{"entity-type":"item","numeric-id":2306023,"id":"Q2306023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160774$BB44F303-3196-4628-8117-3C8DF29EE859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e695c55079bc95409da4642dbad6710c1091c4","datavalue":{"value":{"entity-type":"item","numeric-id":1784959,"id":"Q1784959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160774$20AA3DB0-C613-4363-A1D4-BE3892005B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36cfd8e5801b91989aa978a3e27ea40fa6ba5e52","datavalue":{"value":{"entity-type":"item","numeric-id":5492991,"id":"Q5492991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160774$80B8B4BC-9711-4C25-AFBA-8D9DF2445B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"497cceac7d6c6acd7624c65e3bd42c3b938c2d3b","datavalue":{"value":{"entity-type":"item","numeric-id":2075782,"id":"Q2075782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160774$4C76CD93-9640-4269-A9E7-76CF06A4D7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dea7782c98ec67e5e3a188649ac5d3768a169d2","datavalue":{"value":{"entity-type":"item","numeric-id":5160758,"id":"Q5160758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160774$74227865-4284-4A0B-A5EC-D73691D1751F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a6c07a9ff979053f57bfaa48e8dbbe14ebe2c19","datavalue":{"value":{"entity-type":"item","numeric-id":2822665,"id":"Q2822665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"503c30a5939acabc8345883d39010f5142e6ac35","datavalue":{"value":{"amount":"+0.7393393516540527","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":"Q6160774$341048D5-3AE7-4826-B5DC-439C3CDDB91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"007ff389d6b956334ed850b648eab6c1297e9982","datavalue":{"value":{"entity-type":"item","numeric-id":2894562,"id":"Q2894562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f1f97897226ba61932e3997038c229d925437e1","datavalue":{"value":{"amount":"+0.683725893497467","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":"Q6160774$88539A13-7ECA-4655-9810-69BD5F0F6C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a33cc7cf1d43ecc0f0024f106a540ec04cabe702","datavalue":{"value":{"entity-type":"item","numeric-id":4617982,"id":"Q4617982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1a1d843b267ea1bd76cd45cacce6e98ee69c79","datavalue":{"value":{"amount":"+0.6808009147644043","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":"Q6160774$84155E19-3A5E-4E19-AF4B-D4961D8A2177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"397fad21a06a8dfa23d1763865cbdf7289c7e6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5709755,"id":"Q5709755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a05d12a6a249803a768b1f9cdf8f32e66b476953","datavalue":{"value":{"amount":"+0.6807260513305664","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":"Q6160774$07408C1E-8CF5-4ED7-974C-6A067AEFFF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9277f1b17e8941fa7db4e8ebb335dfa70cae84a3","datavalue":{"value":{"entity-type":"item","numeric-id":5270685,"id":"Q5270685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"701db42a7d05f1b7f38dadc45eff3fb641fc0faf","datavalue":{"value":{"amount":"+0.6695639491081238","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":"Q6160774$966CA1D9-0EB1-4C2C-8A4C-FDB71643FC41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160774","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6160774"}}}}}