{"entities":{"Q2835872":{"pageid":2846602,"ns":120,"title":"Item:Q2835872","lastrevid":52687067,"modified":"2026-01-23T06:38:06Z","type":"item","id":"Q2835872","labels":{"en":{"language":"en","value":"Prompt interval temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6658162"}},"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":"Q2835872$A8CCAFF2-3FA6-4D10-B33A-1334F3165694","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d7a8868c6207717e06ee3fa2da4629a08480895","datavalue":{"value":{"text":"Prompt Interval Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2835872$B8187582-3417-447C-89F5-836237519FC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"148d171699ed58efd153070996a174ead0afa7a7","datavalue":{"value":"1483.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835872$DDEA0058-24B0-49EA-86B7-376F6F643CCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b82800a83926548fa7ec533a4e298cb63d4b9332","datavalue":{"value":"10.1007/978-3-319-48758-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835872$192401C6-FEAA-49A7-8D80-66618FD9F14A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c11537367761b3a042544f520669ef3aebcdb3a","datavalue":{"value":{"entity-type":"item","numeric-id":266856,"id":"Q266856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$AE9B1ABC-9B7E-4F94-807B-C334633C4000","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":"Q2835872$C4A50B30-C20E-4C94-BEFF-F27163C89E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$1E1EBC94-F76C-4C10-9349-4A58455ED31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11543eff57f4852055ea208de3fe86ec3134f6d5","datavalue":{"value":{"entity-type":"item","numeric-id":288803,"id":"Q288803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$14C7DF66-9A1F-4275-A567-BB18F2847338","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$08359FBD-52BC-42A8-83AD-FF559FBDB143","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a81488eaa0593c2b339fa674b802605bba207348","datavalue":{"value":{"time":"+2016-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2835872$2A5BF1AB-0761-4236-8A21-7C6363D2FDE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c0a7c7bbb232fbd400881a0f0f4ab1cffc1f804","datavalue":{"value":"http://hdl.handle.net/11390/1110495","type":"string"},"datatype":"url"},"type":"statement","id":"Q2835872$B11B02CA-A679-40F9-8AD7-2E60F2DEF384","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835872$49F54680-B9B8-49FA-A9A6-BC110EAA996B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835872$E74A57F0-1595-45D5-942E-65E246E6B2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835872$ACBFC8C0-D273-4B12-9694-85796037D051","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e1a23cf9be54a638d3bfe5639fce8ba7f551a26","datavalue":{"value":"6658162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835872$47732962-A58C-4B72-88CD-5A196886D847","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":"Q2835872$2C80623C-6DCE-46AE-B9B0-3F03B6B8413A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a96be550f33b1594c34f0c6984c28513324b91f","datavalue":{"value":"W2544900219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835872$F75ED53F-8BFB-4FCA-9422-7D2C93D5D6E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$C4B53545-18CC-4227-BB19-6FFC6B5E62ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfead181c4df7b86f6e62184823b49dfa079ebaf","datavalue":{"value":{"entity-type":"item","numeric-id":1060013,"id":"Q1060013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$0AC268F6-4EA5-4559-8A08-B4984FE3A2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4df350897ed97a98873cf8f8178c1d34761063a","datavalue":{"value":{"entity-type":"item","numeric-id":4931280,"id":"Q4931280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$8973C0AE-831F-4C91-81C3-EFC7006726A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d86939d9b9794f52fb929a0479751d9d0f6b81","datavalue":{"value":{"entity-type":"item","numeric-id":3549124,"id":"Q3549124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$A777C8AF-9EC6-480A-84A9-760FE86E6036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30cfd537665958cb1b8fbb6a82da12024a3a86a","datavalue":{"value":{"entity-type":"item","numeric-id":636267,"id":"Q636267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$360C15C4-5DAA-46D1-8034-9A5703A6AE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0724f03c880da110db2d809a33869a75cb2872","datavalue":{"value":{"entity-type":"item","numeric-id":2946587,"id":"Q2946587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$98A6AB4E-9A34-4772-884C-D0DB1557892D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917e7018ecb261a410a80f2084120881ca26ffb2","datavalue":{"value":{"entity-type":"item","numeric-id":4904145,"id":"Q4904145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$FFF6C844-FFF2-45C1-8DAA-A36E5E8CA37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca3aa97053f2ed7373c3c47c5bad80d809d5dcc","datavalue":{"value":{"entity-type":"item","numeric-id":2835872,"id":"Q2835872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$88DDEFEB-4FBD-4E99-8520-3A598523E8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ba2a02199b579aa6a012d5185faa96e7db3f22","datavalue":{"value":{"entity-type":"item","numeric-id":2900471,"id":"Q2900471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$161FEE2C-2DCC-452D-8D47-B59FCE4F2424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b57cb588ea994c4f69bb0160d83a8c8074f491b","datavalue":{"value":{"entity-type":"item","numeric-id":2957486,"id":"Q2957486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$FA4484A1-A018-4130-8481-B1068F20AB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc15974ccce84c558484cf7e012ed1673ef50e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$25CCF85F-72BC-4290-89BA-FB6C2759C503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9316a3640aaf5447f69f5de485a7845644f32cb4","datavalue":{"value":{"entity-type":"item","numeric-id":1039845,"id":"Q1039845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$2D248295-D463-4AE7-B817-C27A98826C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bad5eed05a3662ff994c6164b09408bcc912340","datavalue":{"value":{"entity-type":"item","numeric-id":1893730,"id":"Q1893730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$440B554A-FA2E-4454-82E3-47D208D53B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14c09f16da91cec7573c8cf328cdcc7153dcc5c","datavalue":{"value":{"entity-type":"item","numeric-id":2870156,"id":"Q2870156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$EAFC8D51-9627-4F45-87D9-CC9C8758C752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270debc58a83d27d2f963b637f5e7485684a1270","datavalue":{"value":{"entity-type":"item","numeric-id":2457655,"id":"Q2457655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$64C72F1A-E005-4690-8A9D-90DA06C98AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edeb87ab052a57bcd10aa45952d6d907aec50fc","datavalue":{"value":{"entity-type":"item","numeric-id":1428351,"id":"Q1428351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$DAA3B3C8-FCFE-4D2C-B270-F58CE7E83351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6140a42fad55028ab35be908c58d4b6964b7180","datavalue":{"value":{"entity-type":"item","numeric-id":391106,"id":"Q391106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835872$A2460354-3646-4CE7-B800-C153405A27D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797bb01ee608567e35432105416866c77f35c511","datavalue":{"value":{"entity-type":"item","numeric-id":5434500,"id":"Q5434500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abac8f102320c1e7eaa78261947009b76e4d1644","datavalue":{"value":{"amount":"+0.7951193451881409","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":"Q2835872$501353CF-119D-4D9A-9E44-00958AD3F057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df07cdeb834ec5f510a143d6dcf63ddc08e0fb1","datavalue":{"value":{"entity-type":"item","numeric-id":4904145,"id":"Q4904145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573f2c2900ab91bce3f435de34a60a81717eddef","datavalue":{"value":{"amount":"+0.786702036857605","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":"Q2835872$783D2A2E-D4E7-4B18-8060-D8A3BE616678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b347872709d7e70c765b6daeac5a422da11371","datavalue":{"value":{"entity-type":"item","numeric-id":3221966,"id":"Q3221966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8733346ff8f3c3409555e4d19ed1f6f540828105","datavalue":{"value":{"amount":"+0.7807878851890564","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":"Q2835872$C80A28BF-77A1-43F4-ACAC-A5818783505D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"526ab66eda9e750bffb0f227c56da8a076d08043","datavalue":{"value":{"entity-type":"item","numeric-id":2766545,"id":"Q2766545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea02c472a7c0959fde366383fd6f2ccace5eb0f1","datavalue":{"value":{"amount":"+0.7802975177764893","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":"Q2835872$537B3D51-9E52-458A-AD36-47D454358085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aedf9e076449ba4784ac01d163fcfd7509becb5","datavalue":{"value":{"entity-type":"item","numeric-id":2999204,"id":"Q2999204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3110b177172653eb5002109067347c14bff03cd0","datavalue":{"value":{"amount":"+0.7781974673271179","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":"Q2835872$36C6C121-F3B4-405D-8411-ED2B1CB31441","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2835872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2835872"}}}}}