{"entities":{"Q6487562":{"pageid":14066331,"ns":120,"title":"Item:Q6487562","lastrevid":47810548,"modified":"2026-01-02T18:24:00Z","type":"item","id":"Q6487562","labels":{"en":{"language":"en","value":"Simplifying inductive schemes in temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650207"}},"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":"Q6487562$4F079A89-43FA-45AD-9965-068A301593AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"018e536a914c82a086b751807d9d2dca82c943e3","datavalue":{"value":{"text":"Simplifying inductive schemes in temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487562$D479854B-E68A-44B8-A739-067BA02FD33E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6aa6c716c2efe14b8ec203d994fa380e63068aa","datavalue":{"value":"1515.68341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487562$D40285F5-7848-476C-AA68-FC6C6262F6CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3287e6210682ed67b583792b5c99d534c94ec6ac","datavalue":{"value":{"entity-type":"item","numeric-id":246588,"id":"Q246588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487562$FE13F54E-A88A-4DF2-A42C-0638D66D10D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c1a44fb319427f74ac5d9c35e604161ffbe3d59","datavalue":{"value":{"entity-type":"item","numeric-id":2426052,"id":"Q2426052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487562$FC7AD147-9103-41F2-86C8-EC79F57FA720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d4bccdf7c2b388b6e3e888805bc1f0030b29c7b","datavalue":{"value":{"entity-type":"item","numeric-id":1403341,"id":"Q1403341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487562$F51A13D4-DDE9-42BF-810C-DA66CE195F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19eeb367179c947de209048afc7b6d4442a0e8c5","datavalue":{"value":{"entity-type":"item","numeric-id":2450650,"id":"Q2450650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487562$EAECD687-F16C-4A68-A93C-D93730023D81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487562$D6F0BF73-C9C6-4658-823A-943EA8FA7DC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487562$12ABEB2C-24FC-49D3-BE5B-8D14D15E3F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487562$9CDF7B11-1C00-4471-B23C-1A08565F72DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"338fd0edf4d3624667348677dc51ad8334d96071","datavalue":{"value":"7650207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487562$C9B9FAFF-DC26-424B-9D86-303B3529189C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487562$15CE2C33-27E8-4EE1-A152-F4CB92127757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593196ccbd217b65e3f2848431110481f24fcc1e","datavalue":{"value":"inductive schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487562$F3542860-085A-4D57-994A-E9F7B79B11B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2fa7a1302b4ec6e5e61d60e2cb750f8078296c4","datavalue":{"value":"loop-check","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487562$B4231CE7-858E-4E08-92C4-7807A784684A","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":"Q6487562$8511C6A0-9479-4152-9B42-CBC9257D1E0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ef751480058921edd99ac0dcd58f0ec041f0840","datavalue":{"value":"10.4230/LIPICS.TIME.2019.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487562$B5938758-199F-404E-9753-BECC19F9809E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf7a644b08d7c001a3fe3ea470daca0cd6400e2","datavalue":{"value":{"entity-type":"item","numeric-id":4246976,"id":"Q4246976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4375c035ea4daca7f0a5e17e1bf3f6e6f0d05627","datavalue":{"value":{"amount":"+0.7770466804504395","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":"Q6487562$2BB16CE5-C848-40D2-A73D-D01C2AC50F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9253735b839ce795f970d4a53f6d1e9baa9737b","datavalue":{"value":{"entity-type":"item","numeric-id":1978028,"id":"Q1978028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bef7744a6122424650e7f842b41b244ce5c6f83","datavalue":{"value":{"amount":"+0.7760903835296631","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":"Q6487562$3CB1309D-4D42-42DD-94FA-34386C75653D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5225452bae2904b4a8fe5f33e86f9216d0ae06a2","datavalue":{"value":{"entity-type":"item","numeric-id":4012170,"id":"Q4012170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb8bee1b9a9f3919a61d0cca7d05fdfbef0b9e9b","datavalue":{"value":{"amount":"+0.739617645740509","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":"Q6487562$1A0BB125-B921-47EE-BFDC-DE18E39BF1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac829807b706662d7bd51fdde4ecc1b25ae19de","datavalue":{"value":{"entity-type":"item","numeric-id":5202982,"id":"Q5202982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc8014d7d5576f8a331b7f982e66e652a267091f","datavalue":{"value":{"amount":"+0.7363680005073547","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":"Q6487562$ECF18D67-2D21-4A57-A866-8786AF325135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be3f39e228ac8e1655e831f1223a5fe918b0808","datavalue":{"value":{"entity-type":"item","numeric-id":4412853,"id":"Q4412853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c2e520d46d738a3555922d435cc5f011c10824f","datavalue":{"value":{"amount":"+0.7343125939369202","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":"Q6487562$393D5574-15B4-4E0F-BE7B-68561F0BC95D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487562","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487562"}}}}}