{"entities":{"Q4598236":{"pageid":6627821,"ns":120,"title":"Item:Q4598236","lastrevid":52981073,"modified":"2026-01-23T23:16:30Z","type":"item","id":"Q4598236","labels":{"en":{"language":"en","value":"Past, present, and infinite future"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820284"}},"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":"Q4598236$5DA2AF16-FC00-4BA7-9579-387248CE1B04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b596beda1cd5244eac521cd76b61c48181235e5a","datavalue":{"value":"1388.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598236$AACEBF00-70E5-4E50-BD17-D624BD7FB24B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26eaa7a3159ba545420366ef8b151ea4c3766e0","datavalue":{"value":{"entity-type":"item","numeric-id":208756,"id":"Q208756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4598236$64B3B218-D3CD-4C85-AFB7-01F7433BC09C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fc61ce6e2abfbe9b4163dface0a2d1eb319125c","datavalue":{"value":{"time":"+2017-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4598236$009B6377-B342-481D-A386-2F06D919F250","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598236$7D730CE9-2117-4871-B7F0-C3AD515D6B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598236$F79D72D5-1E46-4742-A7AF-73F88EC76E7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cf696a75ca8dd2b16482992bca408edd918d4d3","datavalue":{"value":"6820284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598236$8CF23901-0BC6-48CC-876A-7AE50E164DCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8655b9be840caa9be702e31cd5e062f5735bc60a","datavalue":{"value":"linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598236$B8BB5185-100B-40C9-80D4-19C4D2B1F118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598236$1409C123-A5CB-4224-BA61-9226B0FCF3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41014a2fe86eda5bde09f8a143500300a24ef0c6","datavalue":{"value":"backward deterministic omega-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598236$EEB94D24-931F-40D4-8E97-7D00075983A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e38bec372ebcec31de0830bf772915ee1b548488","datavalue":{"value":"counter-freeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4598236$26269B59-74C9-4223-8362-7181D66A1150","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":"Q4598236$22DA36AF-D01C-4256-BC4D-27C835111784","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c994a19936d9ff502f5b456950760e8be9e7e12","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/icalp/icalp2016.html#Wilke16","type":"string"},"datatype":"url"},"type":"statement","id":"Q4598236$097F2E05-F1A9-4CB2-B56A-2D91997B8E00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b727d523333901977b2b8c52e95a008b90e785b","datavalue":{"value":"W2538694668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598236$42CDF019-5959-4571-BA52-1CA83EF6EBD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1972342ee298f329192fb1cab2fbe9e37be447fe","datavalue":{"value":{"text":"Past, Present, and Infinite Future","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4598236$AAE36EFE-3D01-4AE1-80F3-1530959D2174","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9548d4506701026915239b11501540214e13496","datavalue":{"value":"10.4230/LIPICS.ICALP.2016.95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4598236$5A089039-8285-43A7-8FFD-EE1F9B83E6FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"243a61169595355e418736f096741a43e3b14394","datavalue":{"value":{"entity-type":"item","numeric-id":3752371,"id":"Q3752371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd47c12eda2f998b16c1832fb8902cc44f56982e","datavalue":{"value":{"amount":"+0.7422882914543152","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":"Q4598236$1FCAA2BA-0FEA-46E4-9D9D-D012D886E2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fccc82afcec1063201652827c9e75f100e6e4b84","datavalue":{"value":{"entity-type":"item","numeric-id":672329,"id":"Q672329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f25ddf404cb87ca61e1f3531e58808b8c174374","datavalue":{"value":{"amount":"+0.7363349795341492","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":"Q4598236$0A581747-59F8-452E-A0D1-12F5649FE440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74e571d11edd710698b4f965d238ee463d15319e","datavalue":{"value":{"entity-type":"item","numeric-id":3012526,"id":"Q3012526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87b41ee7a777c3d832db1a162ae81f79aabeaa0d","datavalue":{"value":{"amount":"+0.724443256855011","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":"Q4598236$A85840F5-8310-4C28-9188-B4EC338D7AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dee6475ddb396a10d89c8aac0be33bab428bf94","datavalue":{"value":{"entity-type":"item","numeric-id":5897950,"id":"Q5897950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b682969804dbedfa023dae4a53f57254e61678f3","datavalue":{"value":{"amount":"+0.7122506499290466","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":"Q4598236$45121C3B-1AB6-4279-900F-CA997E8C3523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542f8b526e87942e67619b417f0cd87fa45b25f5","datavalue":{"value":{"entity-type":"item","numeric-id":259068,"id":"Q259068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508b67ea12cbd52d162c8f3a7dfb82ef3db07631","datavalue":{"value":{"amount":"+0.7121440172195435","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":"Q4598236$CCADEFEC-027B-4CBA-9A5D-7E3E0B9416C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4598236","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4598236"}}}}}