{"entities":{"Q4945237":{"pageid":6974819,"ns":120,"title":"Item:Q4945237","lastrevid":40714608,"modified":"2025-04-04T11:01:49Z","type":"item","id":"Q4945237","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424046"}},"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":"Q4945237$062DF38C-3C2E-4185-AF77-49A53BBA978D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22646517d48a536bec9f7f696b6e588a1706d96f","datavalue":{"value":"0944.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945237$27BDD74F-6C8A-4C66-A913-97AA748D1F0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0f26ab800d353f785fba41d5cb9e1942cc404ee","datavalue":{"value":{"entity-type":"item","numeric-id":516247,"id":"Q516247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945237$ADAD7EE3-A3DF-47CB-A68F-CAF0F23AF8E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35fafbbe8209085733f3754bac7d6ba0f1c137cb","datavalue":{"value":{"time":"+2000-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4945237$5E556DC4-ABE0-4860-A17B-32F2CEA6A5D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945237$FA698753-9156-46FE-B0E2-D961FF07AB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945237$75430B69-6584-4787-936D-0DF3D2462370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945237$DB0DC574-0D04-4F5F-8F8E-C8DCCA32F35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945237$6776FF1E-F88E-4E6C-B8D7-D80A31752152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945237$F0E869A3-EFB3-4A30-AD6F-CAA4AF8ACC95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c5c00b1c8981f1b3784909da379eb21b91c6b15","datavalue":{"value":"1424046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945237$59E99F9B-A6DA-4309-A26C-26636272C400","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945237$88B79F46-D5E9-4B2C-9F14-E26DB3CE1751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b462f38abee80906c2d768906563204d6d43dfc5","datavalue":{"value":"modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945237$EA42ECE2-3AC3-4FC3-8419-4B2B6C9D55C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd86259ee33556a50e7e86823c0d1547e72d38f0","datavalue":{"value":"parity game","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945237$D2611A1F-38D9-4AF1-AAD1-3DD2A825E167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d8c0d4887affd25df847aed5deba0a968338c2e","datavalue":{"value":"temporal fixpoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945237$B454DF25-EE13-4345-A25E-031658423724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be26481bd1f5605226640aae853301c0255ef25d","datavalue":{"value":"arithmetic fixpoint definable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945237$525A92EE-B1D2-49CB-B8B4-54BF94AF10C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac42e4deffc8762623a336fbe6fe2b5c592d2d4b","datavalue":{"value":"winning positions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945237$14EEFC4E-BBFF-42A1-AEE5-2F32598EABD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72ff38c6fecc3f268756eed49e96f722f677a671","datavalue":{"value":"difference hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945237$FEBCAF22-0476-4187-BD2E-EC4A00F0C9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5cad1b4c902c651f8560ebce6ecad68baf0e844","datavalue":{"value":"fixpoint hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945237$D11F11BF-A329-45A4-B36A-E10C1B7B5CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d01f78cb33543a4f75a1cfe530d68a9f88c2da2","datavalue":{"value":"game quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945237$8CA63177-44B8-4652-B4C9-09B5901C5F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b12abbcb0a7b047891aaa5ec845e0574a8f7e04","datavalue":{"value":"descriptive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945237$51CE10A7-BBBF-4678-90FD-7C7493D13F65","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":"Q4945237$C65F389C-5AE9-4C71-8370-27629D8C4E05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8a730c1b1d51daafc0a4741b47c97cc442d52c","datavalue":{"value":{"entity-type":"item","numeric-id":5015268,"id":"Q5015268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3db50b0b74474a3f4479cac553ad9ee8a159c0a","datavalue":{"value":{"amount":"+0.8891759","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945237$566A8442-7BFD-47D3-A58E-AD0EB8F631F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7221fc6c30acb968bbb9b47be46fccfbef044b28","datavalue":{"value":{"entity-type":"item","numeric-id":3086929,"id":"Q3086929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7d2edd4ede9fc1aefefe482fb9474804c5c9ff","datavalue":{"value":{"amount":"+0.88875306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945237$9E322E2F-50DD-446A-8774-520AE97EE0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6f7899ee423a104b2571161de1dd553c4faf2c","datavalue":{"value":{"entity-type":"item","numeric-id":4283233,"id":"Q4283233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e230956536c3f0bb98bd84c852e51b238320c8c4","datavalue":{"value":{"amount":"+0.8878166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945237$20B22325-69FA-4985-AD45-61F689F999F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d670489ba972828cdf51a5ca4a634b5b4d499e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4462675,"id":"Q4462675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ebee912699ce6d2c3297526c58565fbf7e7d014","datavalue":{"value":{"amount":"+0.88670564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945237$A49BA5DD-9D4D-4ADF-8975-FA62022CE266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fda5cd4b56e5f5dd7d77718bc519434e56c73eeb","datavalue":{"value":{"entity-type":"item","numeric-id":2842239,"id":"Q2842239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a1d4cbcccd33c9f7ff5ae283064ff30e582134","datavalue":{"value":{"amount":"+0.8778355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945237$C58C7719-61CA-4E60-996F-7E95B1AB7BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6c033edb34611f21cfc639d07a53aee1e190a4","datavalue":{"value":{"entity-type":"item","numeric-id":810391,"id":"Q810391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70812b25f25f8071ea400bf469d4091f98481840","datavalue":{"value":{"amount":"+0.877306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945237$B262C482-BF2E-44F3-B9E3-EA28F56589A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94661f2a7ca62e6d845e20b41593ee78a87a70d3","datavalue":{"value":{"entity-type":"item","numeric-id":1892941,"id":"Q1892941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdcf38ed50d1a415d9719aca96899f3e5b1a36d7","datavalue":{"value":{"amount":"+0.8768789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945237$7E35AD43-EEEB-4F87-83CF-854AF4BCAC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55eb0a117c4e6902957162871cd392e33acc60e4","datavalue":{"value":{"entity-type":"item","numeric-id":1764420,"id":"Q1764420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a44515c13dad839617ff3679518686241ebf3d","datavalue":{"value":{"amount":"+0.8764436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945237$DCCBD1F7-3FE7-448E-AAB5-9330968B6963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a35eb387e30ea87b756a76a7aefcaf65c24216","datavalue":{"value":{"entity-type":"item","numeric-id":3617718,"id":"Q3617718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d8002ee577f7f3de442a11826533c5d09bd376","datavalue":{"value":{"amount":"+0.8754673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945237$D722DAC1-078A-422A-AB0B-2783C7F7E6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f035676e06d35d3698d506de2212c81faa49a2b2","datavalue":{"value":{"entity-type":"item","numeric-id":2661369,"id":"Q2661369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"324baf5a523fac768c4792e8221db80cb04fed8c","datavalue":{"value":{"amount":"+0.8742026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4945237$E6F2D275-B7A9-4608-B3E7-6FA124E53DD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945237","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945237"}}}}}