{"entities":{"Q3434483":{"pageid":3445186,"ns":120,"title":"Item:Q3434483","lastrevid":46287132,"modified":"2025-12-24T11:57:18Z","type":"item","id":"Q3434483","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148400"}},"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":"Q3434483$87E817A7-759F-46AC-AA9A-F071E5256831","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6bf55e6d6707d0b7c2deab7026b83051d65fb7d","datavalue":{"value":"1119.03332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434483$3F9D2D39-16DD-4DDE-9C8C-14D97F6EB045","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-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":"Q3434483$E65602DF-AB6A-4A48-9DD5-50566D51F353","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434483$CB893C35-6677-417B-9574-214FF498FE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434483$53FD0080-ACE7-471B-83CB-23B1A044E02E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6fac8e30c223599902a177df79736b6cc63d088","datavalue":{"value":"5148400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434483$B52E096A-97E6-48CB-A616-D7636A8303D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fab48301b8e6ed80e084fbdbedc0702a2e9ee01","datavalue":{"value":"game-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434483$43EDB7B1-1978-4054-8A49-61BB975E5437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed31f175422d4417c96fa4c66a13b0b720db4157","datavalue":{"value":"second-order elementary propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434483$9D95D30F-F2D1-453C-A0F9-D17ADA52C109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434483$0D3D72E5-5528-4DED-B16C-C27018F746A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434483$4CB1D23F-93C8-4CDD-881A-15B2CE13497B","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":"Q3434483$8113210F-C122-4D4E-A928-CE9A049373E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b487f5c2b17f6536f2e45341ad5fc30697ee540","datavalue":{"value":{"entity-type":"item","numeric-id":5014803,"id":"Q5014803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f242bb570cb9731bc8558b3a7cf20f5ef1407cc","datavalue":{"value":{"amount":"+0.89710206","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":"Q3434483$A3C854E8-FD83-4FB5-B58E-F3AD97ADA3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a99635afa4ffb91de9a6e1b10dd66cf43bda2cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4028804,"id":"Q4028804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b98519ec255d5d34a3c4d3b64231b3ddd639857","datavalue":{"value":{"amount":"+0.8874193","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":"Q3434483$8FF45479-DB74-4F20-91B0-A8589A844482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e526848231216543154b909b24a98a74c4e0fba","datavalue":{"value":{"entity-type":"item","numeric-id":4016548,"id":"Q4016548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b98519ec255d5d34a3c4d3b64231b3ddd639857","datavalue":{"value":{"amount":"+0.8874193","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":"Q3434483$4586ECB7-C955-4907-B801-95ACFCDDE439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccbf5fc3944a9c4a28f412cecb088c5b82edac0","datavalue":{"value":{"entity-type":"item","numeric-id":5900667,"id":"Q5900667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806d7a48d6ecc6af12a9b10f21c5b171305e3dfe","datavalue":{"value":{"amount":"+0.870252","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":"Q3434483$CCBD1AFE-74B0-4D4C-B791-FB35E5A36AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c25855eb84a544d430c53bcfe0477292d6e6d479","datavalue":{"value":{"entity-type":"item","numeric-id":2331070,"id":"Q2331070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d22bbd97375cf5e82d1e8a0bc0b0394c2375ad1","datavalue":{"value":{"amount":"+0.8696923","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":"Q3434483$72EAECBC-F73A-4701-8F55-31FEB4116B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6206dd76673762637ce922be8464826ad4594d38","datavalue":{"value":{"entity-type":"item","numeric-id":4931295,"id":"Q4931295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bfa9743f44b29ede1580a34be681096630ffd0e","datavalue":{"value":{"amount":"+0.8695939","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":"Q3434483$9E0BA24D-6F7B-4B17-B6B6-70A3F2C91993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dee79b887fdc6e005b66de3a8cecdfd95aaffa88","datavalue":{"value":{"entity-type":"item","numeric-id":5187831,"id":"Q5187831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46387bcd4ffc473d80963acbbaa23f69ffd4d97d","datavalue":{"value":{"amount":"+0.865032","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":"Q3434483$B78A76FB-A1BD-4D08-9AC0-9831D0FC2781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975c7e14fc21eb392cc7c1d1e5a4a2564b3ef902","datavalue":{"value":{"entity-type":"item","numeric-id":4779119,"id":"Q4779119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6372e4a57a91beed59cce0d2d9f3dfece51adbf1","datavalue":{"value":{"amount":"+0.8622849","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":"Q3434483$618041A9-ADDD-4E30-8327-D0902DC48416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6d36d0f86595855f8cce4e7301439fe4ce05d8","datavalue":{"value":{"entity-type":"item","numeric-id":3512435,"id":"Q3512435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ffdefadd2176589ffba2b3ad1fe347f0bf33a8","datavalue":{"value":{"amount":"+0.855764","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":"Q3434483$5105D177-D700-4383-B0D6-1F86EA68243C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3434483","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3434483"}}}}}