{"entities":{"Q4645753":{"pageid":6675334,"ns":120,"title":"Item:Q4645753","lastrevid":53316791,"modified":"2026-01-24T17:30:51Z","type":"item","id":"Q4645753","labels":{"en":{"language":"en","value":"A one-pass tree-shaped tableau for LTL+past"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7000000"}},"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":"Q4645753$C9CB093C-DCD9-4568-AA1B-438C44C73327","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96950f20c5793f3e037b19d2f1f6163119595848","datavalue":{"value":{"text":"A One-Pass Tree-Shaped Tableau for LTL+Past","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645753$AE291DB1-6EB7-46E6-A49D-7A4F281217DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcc03499bcbc3f8b27f64c6c426b1311e93f68a4","datavalue":{"value":"1402.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645753$D9D530C1-D12E-43C9-AB2A-65E68F1407D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3426eb049e14d89befbc43e19e1f24581cade6a4","datavalue":{"value":{"entity-type":"item","numeric-id":2029607,"id":"Q2029607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645753$731B72C2-5DDA-4472-8310-BC3E4BCB4F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645753$FC6A4276-75CF-4E17-8F9D-5889C1FD6FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c3c5a22fb3da755e2e8fb1d94c251a072f6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":790946,"id":"Q790946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645753$831B09E4-C806-4CF8-AB2D-63BBA7296055","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645753$A16DD5E9-0C15-4014-9B67-F1D52D725330","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645753$0EB1C6C8-2955-412E-A1D3-425999DCBB23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645753$92711C8D-4344-4090-82A7-21F01DF0DE57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"246f6244ccc374b9518b356d09d47c66369f70b3","datavalue":{"value":"7000000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645753$A367F7E2-F53F-43D1-95E3-40D9420BCAA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645753$C325011C-4F8C-4498-9F59-2793D111DCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5150d1f495c0b914705eccc8ab79445c74e92118","datavalue":{"value":"past operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645753$177B148F-3FDF-4A2A-AF1B-59067BE58F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645753$E6A660A9-F7B6-43FF-A644-710617B3E7A5","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":"Q4645753$DD45478E-7382-421E-9528-D704E58D0F6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f69feb2e9c89d1191dfcf4e04608400e89097e7a","datavalue":{"value":"https://doi.org/10.29007/3hb9","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645753$5DA51F8A-04CD-4938-B9F5-6EBFC0BFA63D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae6ff5c8576e5c93a2aa0f2d1b47e740d7805f75","datavalue":{"value":"W2740520395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645753$17F8E0FE-98ED-4166-9BE3-0994D6BA75B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c4d749ca0b2be129230e29e0d529224eb1dc222","datavalue":{"value":"10.29007/3HB9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645753$CD7967DD-17A9-47FB-AC4C-6EC6F92FEEE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a0795bb52320f85a84aab63968a83468978487","datavalue":{"value":{"entity-type":"item","numeric-id":5015285,"id":"Q5015285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77657933349a3c26dc2acf2ab4428d725851bd25","datavalue":{"value":{"amount":"+0.7984610199928284","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":"Q4645753$FA84481F-1679-4B95-8A9F-42EB1968EF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d772a77d3edb4b3b3b6eac637eee8f8dc2273b7","datavalue":{"value":{"entity-type":"item","numeric-id":2180503,"id":"Q2180503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c85153caec790a04524dc9bb1b6a7598cc371c5a","datavalue":{"value":{"amount":"+0.7898966073989868","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":"Q4645753$812FD589-1EA9-49DD-AF54-1079BB916A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93557b2140ff17446b553cd8c1e7da2661618531","datavalue":{"value":{"entity-type":"item","numeric-id":3656890,"id":"Q3656890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df0ab581d6055ff5a3384984cff889de9a962993","datavalue":{"value":{"amount":"+0.7862676382064819","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":"Q4645753$4286A7B1-2FD2-4366-A999-12B11D400853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705e36b314f5b7e4bde40f91912b46554747cdc6","datavalue":{"value":{"entity-type":"item","numeric-id":5492984,"id":"Q5492984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f598fc20cff5a0db215fc1fbee34903fb707bebf","datavalue":{"value":{"amount":"+0.785206139087677","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":"Q4645753$56940E0A-77DD-4F4D-9FAA-4B44B78D2830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8586a2956432aa69a78f94256dfc674d5201cc0f","datavalue":{"value":{"entity-type":"item","numeric-id":439961,"id":"Q439961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc65d4da2bbab555544f5dfaf9a8d49983b0438d","datavalue":{"value":{"amount":"+0.7846682667732239","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":"Q4645753$37CFB196-955E-4C64-97FE-98585060CDB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645753","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645753"}}}}}