{"entities":{"Q2096471":{"pageid":2107214,"ns":120,"title":"Item:Q2096471","lastrevid":43513168,"modified":"2025-07-30T11:23:32Z","type":"item","id":"Q2096471","labels":{"en":{"language":"en","value":"NP reasoning in the monotone \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614530"}},"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":"Q2096471$26D365D9-64BC-4754-AE7A-1F96E3F96677","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb990ba830a04ca4883ce74e4c5be0a7a8117fff","datavalue":{"value":{"text":"NP reasoning in the monotone \\(\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2096471$E211E62C-CDCF-419B-AC28-484F0BAD16DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b604f5dedc9b7d6ed65b8782a5219276aa81c488","datavalue":{"value":"10.1007/978-3-030-51074-9_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096471$0F1CED7C-DBD6-48A2-A9F8-6CF0266E9DFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a5b77d50e2c99c5b8c02feff26f37fbdd9f645b","datavalue":{"value":{"entity-type":"item","numeric-id":784133,"id":"Q784133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$9CE43917-F405-4432-AC79-DE9213ED9345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$B7DF1614-B1F8-4AF8-B6F0-8C6BEEAD69E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2096471$B5827CE9-5EED-4AA5-9D7F-03F4E4B94B68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7d6db2f12d861a509e581d2a12262e1bac9e171","datavalue":{"value":"https://arxiv.org/abs/2002.05075","type":"string"},"datatype":"url"},"type":"statement","id":"Q2096471$055F0DD4-839D-4116-87BF-7A21E2E067B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096471$1EE66BF9-78A0-4FE8-80BD-06E98D2DDF74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"419b1b877c4e457ed3a3f9b3232dceaea3fb9286","datavalue":{"value":"7614530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096471$68C0EA6A-CAA4-4119-99D8-15BBAB81AF2E","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":"Q2096471$AF344934-F9B8-4EE9-B697-CBFDE1659E03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe2e832dacc489cbf509b62c3614bc271e42abd4","datavalue":{"value":"W3039203491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096471$47541DD8-1AA6-4626-A573-EB0D8B850B2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c2b01c383834b388736c7529dfc9e823ed4b88","datavalue":{"value":{"entity-type":"item","numeric-id":5900604,"id":"Q5900604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$2CB18D58-C1E2-4080-A8C1-DF074F73FC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b89896d12727ad637f84067fae27b2c42f93ee","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$F3374124-3BD5-44AA-9159-3213D6B60D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbeb9c71e6a2b7b0d29761fb36fdd974d315c83f","datavalue":{"value":{"entity-type":"item","numeric-id":4644509,"id":"Q4644509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$35CD8BF4-D56C-484A-88C1-B2D21B89DBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$A68660DC-6F76-4CE8-A25F-46E35C34DBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7382bd15ee0772f2a01d44c3ab123938e80ac15b","datavalue":{"value":{"entity-type":"item","numeric-id":3224669,"id":"Q3224669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$B7D33D74-7E24-484E-9D99-F6841F57D820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c3ee356cbbc1c3d5b36a8197a83e9b90ef5e6d","datavalue":{"value":{"entity-type":"item","numeric-id":4635817,"id":"Q4635817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$01314C88-14FA-492D-956A-18743C92787B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$0E11EB8B-0F52-4C0C-B5C7-E7A163E05F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e870512a16e2d4638901d53e633d2793b9b0103","datavalue":{"value":{"entity-type":"item","numeric-id":4583323,"id":"Q4583323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$D653BD2B-F64D-4F37-86D1-D9E99ED60295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$C86873EE-CCF2-4FD5-956C-081D47C5A60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3ecd05b920043cd848328093971a170ec0a499","datavalue":{"value":{"entity-type":"item","numeric-id":2847811,"id":"Q2847811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$8C7ACBBD-2889-4AFC-B916-25D0862790CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c757d36425acc5c53be328a8517442a7492691","datavalue":{"value":{"entity-type":"item","numeric-id":4608687,"id":"Q4608687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$8D30F3BF-CC17-413B-9144-512564586B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ef7abba46272910e9ba99fbc2a81b57cea783c","datavalue":{"value":{"entity-type":"item","numeric-id":4254623,"id":"Q4254623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$15B94CC5-771A-432C-94EF-F220A1ACD2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$BEBAE76F-1DBF-4115-8B11-C93915336A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ac5c09f5d8340ff75896f976c408f38ef05401","datavalue":{"value":{"entity-type":"item","numeric-id":4412825,"id":"Q4412825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$C6635A0F-BD6C-4AF6-B844-D72082926C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$ACFCE385-EA06-41CC-B306-A2C01A647879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6365fede23c4492f6d5ad9821046aea104cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":671352,"id":"Q671352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$7C146151-E2CF-4798-8032-5D734D40DE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f4b2eac24d9f89be1c7513caeb7568abecc973","datavalue":{"value":{"entity-type":"item","numeric-id":3346126,"id":"Q3346126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$D28D3C18-9E0C-497E-B1B2-68496E8C2685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6df23c941ce47bb225f93d834bb5c870e3e7ae","datavalue":{"value":{"entity-type":"item","numeric-id":1425186,"id":"Q1425186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$5945A824-EE70-45AC-A392-6ED9887F60BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$DB857A1B-B054-4A76-9C2A-2D9FE8354AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ee15ab16a6060382fa6f3503703fb1e9fe7a2a","datavalue":{"value":{"entity-type":"item","numeric-id":2323639,"id":"Q2323639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$92DBCABB-B6DB-4A55-8D01-88A62917DD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48984cc6382065ff46c03cdfa549e82f9d0ac2f7","datavalue":{"value":{"entity-type":"item","numeric-id":3204443,"id":"Q3204443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096471$7865DC11-FF5C-4E56-91ED-5D57D34A15F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2096471","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2096471"}}}}}