{"entities":{"Q4412842":{"pageid":6442441,"ns":120,"title":"Item:Q4412842","lastrevid":48135772,"modified":"2026-01-03T18:14:44Z","type":"item","id":"Q4412842","labels":{"en":{"language":"en","value":"Automata for Guarded Fixed Point Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1950135"}},"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":"Q4412842$7DD75DAC-79D2-4F39-9C30-E42B07C126F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2706e261633d8c7f0fd8708a95bfc2af6c506847","datavalue":{"value":{"text":"Automata for Guarded Fixed Point Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4412842$660515CC-3E04-4733-8800-D0AA0D92E4E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9d98ca57b799879fa5c58baa84e9efad958d10e","datavalue":{"value":"1021.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412842$2BFF9295-3F7C-41EA-82FB-41393D5CF54F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2bdb21a3f185e3c2cdf42472965afcda126a274","datavalue":{"value":"10.1007/3-540-36387-4_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412842$FAEDE483-EFF6-4544-89E0-B17089C995E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b499e3e3874a136945cd529501906781206a03","datavalue":{"value":{"entity-type":"item","numeric-id":444378,"id":"Q444378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4412842$F8B87D2F-C8F0-4A4B-B39D-1D8CAAC78A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f26358bd283f1431ccbb150a944f50fa9cf84f8","datavalue":{"value":{"entity-type":"item","numeric-id":420849,"id":"Q420849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4412842$38324378-7AA8-4813-9B7F-04BE4874FBD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4412842$0E9D5574-FA63-4284-A910-4274D8C0C30B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1af6acebe0ba8380f0e7105638b65df81e8c477f","datavalue":{"value":{"time":"+2003-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4412842$26B472D0-2516-4DBD-BEA3-974079EBAAC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412842$1221D97E-D1DF-48D5-8674-4035D3522792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412842$F68E2BB9-579A-4F4B-9CE2-2136563312EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412842$09B5BE20-7B62-450C-A5C0-0327DCA600A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412842$F0FA671E-EE32-4C50-B4BA-F5BC4B1E3BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412842$1C65C36B-245A-41C9-88F0-2BA865390307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412842$580DD24A-302C-42E5-94D8-63C85866526E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b1fd8c9a41ed76ff2c88cc00b98575bff83acda","datavalue":{"value":"1950135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412842$BE89D39E-1198-4628-A19C-AE1359BC2A47","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":"Q4412842$2D120DD1-88AF-4B01-B543-D75F95BB8A0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"949882f768949a84eb8a2ab760fcbc2f4b8f6ad6","datavalue":{"value":"https://doi.org/10.1007/3-540-36387-4_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q4412842$68B1444D-8F27-484E-BF5F-F8DBAF4AAFB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35778c27aac6d309d8f693360c02ee7acd668af8","datavalue":{"value":"W1583582327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4412842$E1BDA1CB-BBE5-4835-B811-A53E838B8B9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e3724db0e4811ae85421c22b677b482507c7438","datavalue":{"value":{"entity-type":"item","numeric-id":5738962,"id":"Q5738962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7fd106c6f1074df205a79a6f1147ba28458214e","datavalue":{"value":{"amount":"+0.8306524753570557","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":"Q4412842$3AD9E430-A2F8-4619-A9AB-CEEB434E6D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacbc1696578e74951632106c423907bfba23299","datavalue":{"value":{"entity-type":"item","numeric-id":4263155,"id":"Q4263155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb10688713c8a0ea5a331c07b4a3c56c7c63e7d4","datavalue":{"value":{"amount":"+0.808344841003418","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":"Q4412842$2CBDACA8-9244-4553-8C35-29DA16D96B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6cd1c0f25dd0342adf67d97d4fd01ece315ad29","datavalue":{"value":{"entity-type":"item","numeric-id":5892612,"id":"Q5892612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb10688713c8a0ea5a331c07b4a3c56c7c63e7d4","datavalue":{"value":{"amount":"+0.808344841003418","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":"Q4412842$74049B96-779C-417C-8BD3-5C7F4B052B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"911f5586efcefddc5e7a7651b547e47916b65011","datavalue":{"value":{"entity-type":"item","numeric-id":1853504,"id":"Q1853504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d8c5766a311d8f8017de6ec0abb39a546a87263","datavalue":{"value":{"amount":"+0.8015015721321106","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":"Q4412842$4C12F262-2964-4BEA-A274-1AE257600153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb39063ece4676791c62b9491fa7869a2ac4869","datavalue":{"value":{"entity-type":"item","numeric-id":4635812,"id":"Q4635812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb6244f7513d47e0ccb8686111261bdd41d3348","datavalue":{"value":{"amount":"+0.7929540276527405","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":"Q4412842$C2D05DF3-5AD4-46DC-A15F-2A3C5F023D23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4412842","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4412842"}}}}}