{"entities":{"Q3434706":{"pageid":3445409,"ns":120,"title":"Item:Q3434706","lastrevid":50085862,"modified":"2026-01-12T22:05:12Z","type":"item","id":"Q3434706","labels":{"en":{"language":"en","value":"Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148738"}},"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":"Q3434706$0FD56138-2FDE-4F05-BEEE-DB6E1001D49D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f6ec1495a1d5f5ae7b95e92184138f563276d7f","datavalue":{"value":{"text":"Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3434706$5F6D9B86-CE7F-4DFA-A480-BC11D857C57C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"455252a6d2f69370568394357015b2f77382913f","datavalue":{"value":"1185.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434706$0F05933E-0CFA-42EB-9390-BC0EC8A82C8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a66faffc4cbae55fb0899f2d0332d4e7e1f30ba6","datavalue":{"value":"10.1007/11753728_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434706$C1DC7895-F645-49D2-95FE-B6F33A11E127","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41df48044034ceb6ef08b66017467a62c3d265aa","datavalue":{"value":{"entity-type":"item","numeric-id":2907481,"id":"Q2907481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434706$703E1FA6-34CB-4B9B-AEE9-B8B000547519","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3434706$3EE6ED20-A85C-4BBE-A0D5-1584BA118D1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434706$97A23D32-E175-4B36-BD57-E12CDABB3E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434706$ACCD0F73-7E9D-4926-9C74-C2EFD0CF5D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434706$18BD93E6-20B2-489A-81FB-F5AD268588ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78838d1e979bb569bd78af2613d067d2dbc425fa","datavalue":{"value":"5148738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434706$E0AAC0FB-2F80-490F-9B41-98BA5B7FEA30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6484e7e2f26a93555d13cfb9bf138878591693","datavalue":{"value":"logic in computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434706$BA1DBB5B-5704-4C12-AF48-57A87E23B2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434706$748AC0FA-9D04-4D48-9D26-2A41856AADF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434706$5BE7C9E8-6783-4250-ADAB-342B6B87C053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e22bb7984603b39d066247461741507e1db9830","datavalue":{"value":"logical consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434706$5D4129ED-DB9C-4E5C-BE08-5357C7F197D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434706$5BD700AA-2DED-4C67-9543-2001286F79FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2763194ced955d6cd36b33fa49826d497b7528c","datavalue":{"value":"consecutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434706$37AE6300-C2FE-4B44-802B-347D50005B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3434706$76F23EE4-0BC4-479A-A033-B559618451A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434706$42AD35AC-EF67-447D-A094-89288144C337","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":"Q3434706$98D62C35-2B16-487F-A370-27DA141B7E02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45c726cf428918aee61d8f3042a4beb93f40a9e4","datavalue":{"value":"https://doi.org/10.1007/11753728_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q3434706$8CEC3DE3-C066-456E-871A-3976CAF61225","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9e59edd6cfbd904d2dca86da0bc991902da8648","datavalue":{"value":"W1494361518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434706$D18B051C-9595-44B5-A4DF-D1B492D74174","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf790c5aa95c76d26d7acc9f26e6ffae30b44e2","datavalue":{"value":{"entity-type":"item","numeric-id":947268,"id":"Q947268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddaddb48853ac6823f7af752a54bec05838b8070","datavalue":{"value":{"amount":"+0.9093128442764282","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":"Q3434706$A1CE0EBB-6421-4B0B-86B6-E259727B60D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6568dda7eb6cd72f0d20c8ddf174a77ba230712","datavalue":{"value":{"entity-type":"item","numeric-id":5445173,"id":"Q5445173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4476f249b353e548641c23b59b186a5969934ac","datavalue":{"value":{"amount":"+0.867283046245575","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":"Q3434706$A1231C18-59A4-4DB1-9DF1-A924D946FB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16a9a7b55e1d8b8e83f46ede239d26e05f63a464","datavalue":{"value":{"entity-type":"item","numeric-id":929294,"id":"Q929294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34d646295065c5e8599610b3a230608dd65f4073","datavalue":{"value":{"amount":"+0.8253524899482727","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":"Q3434706$AA4D5CFA-10B2-4FD8-AACA-65364FDD0300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"848b47eed6b7d43f5eb1ce13c9ebe8ee7714ea8a","datavalue":{"value":{"entity-type":"item","numeric-id":5486245,"id":"Q5486245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97c544496d577f01cdf192b3a498d515d260e502","datavalue":{"value":{"amount":"+0.8113579750061035","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":"Q3434706$1B7ADFCC-84EF-4180-94D3-AFD817C26109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0445f49aafe1d4192abbb7b0d6cdc78f3a73c2","datavalue":{"value":{"entity-type":"item","numeric-id":5434528,"id":"Q5434528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423a8ec7d9b203863dccc2ef5ef86f5f0f54a733","datavalue":{"value":{"amount":"+0.7939515709877014","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":"Q3434706$7BA4983E-D499-4BD9-A286-A30383CFDEA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3434706","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3434706"}}}}}