{"entities":{"Q6545583":{"pageid":14156737,"ns":120,"title":"Item:Q6545583","lastrevid":55669540,"modified":"2026-02-17T20:44:22Z","type":"item","id":"Q6545583","labels":{"en":{"language":"en","value":"Past-present temporal programs over finite traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7855160"}},"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":"Q6545583$25DE4D3E-820E-41B1-B487-7D62B73AB1A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8d77d229df205a084168bd306e3dc47627d673b","datavalue":{"value":{"text":"Past-present temporal programs over finite traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6545583$A067EF78-1952-407B-9A41-7451C51A3C56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"619ec8abb0b0324fedc9a984b75f401dc43d8177","datavalue":{"value":"10.1007/978-3-031-43619-2_53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545583$20621A1F-28D8-4658-8580-BCF6739B6E52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e17172b64041e106abf805133500ed871f43f9f","datavalue":{"value":{"entity-type":"item","numeric-id":309904,"id":"Q309904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545583$76EA8A9E-B1C7-45CA-A188-9CD8940950F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17a879a735f8c4c2dc810ae3411a4de0b38daaa8","datavalue":{"value":{"entity-type":"item","numeric-id":2296758,"id":"Q2296758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545583$E7B5C28E-4379-4387-B9BD-16D6BC1B2253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9322ab4ff9720d8654047aba904812ed3aa07c7","datavalue":{"value":{"entity-type":"item","numeric-id":5019606,"id":"Q5019606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545583$1F0037EE-F821-4F6A-AD32-5892C9F75399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1b02b9e7e03e44c0aa9ad28c14a665e922cd412","datavalue":{"value":{"entity-type":"item","numeric-id":421457,"id":"Q421457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545583$02E7DBA6-168D-4A8E-BABE-6C96B1C01F1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6545583$70C80108-4DA3-4739-B741-6023C6C70C87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545583$8C392E75-CC16-4ECC-8A38-06315C372F1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afea202ca45cc0c06ea7e29d6844ecd6be01375c","datavalue":{"value":"7855160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545583$3F59B271-D3DF-4CF2-8926-DC31744084F9","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":"Q6545583$2DF0D417-0CF5-48E4-B7AA-6485CB522BAC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8ef4befbfbe322a5d269f41f2c9ffe1aaade11","datavalue":{"value":{"entity-type":"item","numeric-id":3003245,"id":"Q3003245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545583$08F38A16-F173-4AE7-B6FE-1B13C1766451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2a47e9fde57bc986d63fc7de2d9ab10a40631f","datavalue":{"value":{"entity-type":"item","numeric-id":2835869,"id":"Q2835869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545583$1E4BC81B-794E-420E-808F-CA2A6B932311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0438a5bdbbcc507f5e0e924c0d9f63e96e8480","datavalue":{"value":{"entity-type":"item","numeric-id":5740435,"id":"Q5740435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545583$C4026D9F-F834-4EAA-82C0-88C077FB595D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7861eeaf8d5dabb1476eb7286fcb1015813e6e4d","datavalue":{"value":{"entity-type":"item","numeric-id":2326733,"id":"Q2326733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545583$3C272A86-0489-4BF4-907E-FDA1572B0C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666365d2888114949a45e3960822eef04ccc03c5","datavalue":{"value":{"entity-type":"item","numeric-id":4559802,"id":"Q4559802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545583$185F19C7-F59C-4282-BF6E-AFCBC7A1B8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545583$91AC8995-DBC4-458C-826B-58BA96207196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"971827659a9b787383fcb93f2ce4a88c28fa1753","datavalue":{"value":{"entity-type":"item","numeric-id":4815031,"id":"Q4815031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545583$DCB53211-97FE-4C01-9BAE-FEE167F57320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f5d48ad5f87848ba0169288bf01b30b971d92e","datavalue":{"value":{"entity-type":"item","numeric-id":854963,"id":"Q854963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545583$8CFC08D1-431A-4A0F-AA34-02795AB192C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3713b84c9c52e85c5a9c79ac0fb140cffa4a91","datavalue":{"value":{"entity-type":"item","numeric-id":5504656,"id":"Q5504656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545583$409ADE9A-B548-4BE1-9FFF-EB2FE45ED06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d90edc3f805083f932b33818730562df6b42daf1","datavalue":{"value":{"entity-type":"item","numeric-id":6623793,"id":"Q6623793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545583$E8057C5F-B2DE-49E0-82E8-7380760E161D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1368c14c802f61adaa26ccf8fb6625a6ea4b478f","datavalue":{"value":{"entity-type":"item","numeric-id":4839154,"id":"Q4839154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545583$A3EFECE5-9B10-458C-BB18-82482740CA80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c223ad00283d7ac4421080c787b34def6ab90367","datavalue":{"value":{"entity-type":"item","numeric-id":2326722,"id":"Q2326722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d414ed31259380f5e70b13c4b83c491dc54f34","datavalue":{"value":{"amount":"+0.8767721652984619","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":"Q6545583$9951771C-45E4-4872-AC34-0B63C18DCF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86fba10bde527dc4fb555c2344fdbc77d3046c82","datavalue":{"value":{"entity-type":"item","numeric-id":4559802,"id":"Q4559802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"884afb26a7979d5e41549ffb9370981c13d813c3","datavalue":{"value":{"amount":"+0.8361374139785767","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":"Q6545583$8BE2EA84-3839-436C-893B-FA885EDDCD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e45446c52667efdba8d287e70a7901b4abb02b15","datavalue":{"value":{"entity-type":"item","numeric-id":3003245,"id":"Q3003245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f62452cc205628db76e169dbc61e05d49f5d0ca6","datavalue":{"value":{"amount":"+0.8025633692741394","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":"Q6545583$BBADECC7-B5DC-43D4-98C7-FE61CFBC3269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"659c390ce47edafd970430a6efc6a1ce1f1a6e94","datavalue":{"value":{"entity-type":"item","numeric-id":5398086,"id":"Q5398086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d6807b0bfbc60e4e37b0470b3929a90c6e140dc","datavalue":{"value":{"amount":"+0.7969266176223755","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":"Q6545583$6AA93AC1-B983-4510-8A41-AC95D52178EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6545583","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6545583"}}}}}