{"entities":{"Q4593006":{"pageid":6622591,"ns":120,"title":"Item:Q4593006","lastrevid":52952564,"modified":"2026-01-23T21:37:41Z","type":"item","id":"Q4593006","labels":{"en":{"language":"en","value":"An infinitary encoding of temporal equilibrium logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804567"}},"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":"Q4593006$E85B1F45-25B3-4C86-AEFB-EDD7BC24AC27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79917bb0ef5417f477d00e5d3be68baa189bcc64","datavalue":{"value":{"text":"An infinitary encoding of temporal equilibrium logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593006$6FEFC630-8CA9-4033-BEAB-9688CE5005B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd1d329b218884d07c9956c9f933266e434a3282","datavalue":{"value":"1379.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593006$68E5C130-5293-49F9-8CF2-8D5E115FBC8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"feff87a0355f615c53cc1eafc0aa882d15304347","datavalue":{"value":"10.1017/S1471068415000307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593006$F36D1800-8FB1-4E5E-843C-B989D2DD42DC","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":"Q4593006$99F39E1B-AE80-4200-9862-31D39FEEC52E","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":"Q4593006$E51645DB-AA31-447F-A131-BAF449AE261E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eeea4ad668f2d88206e6cf7231a97f88ba6132c0","datavalue":{"value":{"entity-type":"item","numeric-id":2851227,"id":"Q2851227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$74744856-B194-4286-87F5-B8EF22191435","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$58AC7151-E068-406F-B66B-6A13B36A449A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4593006$BFB6EC1D-606B-4E52-AB63-5BCC2026A701","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593006$62ED7530-9064-490B-801E-D7CB0E14EFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593006$ED63B9DD-5D82-4043-9BED-B3E8EE559930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593006$F2D8243B-4DA9-4362-ADC5-B5CE98C994C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58be845ff9e473754fd9eab87cac6c4e74c296d3","datavalue":{"value":"6804567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593006$9718AEC5-C2F2-447C-A636-72FF7B647CED","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":"Q4593006$001813F3-3BB2-4DA1-B489-3CB40BEBFADE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f455707a85c6f0184135457468e3b8314675c8","datavalue":{"value":{"entity-type":"item","numeric-id":4583305,"id":"Q4583305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$D253B41C-0037-487B-B14A-7933D8850552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df57a8b6ea029c06d43a21a5342274199359600","datavalue":{"value":{"entity-type":"item","numeric-id":4428287,"id":"Q4428287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$5BDB9F12-0899-4697-AC47-B7110C3ECB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"904f1bb0840ed6208e962a08e29dee1369fa9c0b","datavalue":{"value":{"entity-type":"item","numeric-id":4635843,"id":"Q4635843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$77C7280B-86C4-48D5-88E0-BA17F94AD908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$A5F56BA4-6A35-487D-825E-58DDD5ED033B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a85fa77ff7b7aca579fb2664277483f7526fd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3523235,"id":"Q3523235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$11E9103C-E633-4840-A88F-8F0BC3D62838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b38e00f9ec1f1ad95bd5a593d1dbecc11889a11","datavalue":{"value":{"entity-type":"item","numeric-id":1079962,"id":"Q1079962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$92733F80-669A-4E49-A8A6-F2608022B4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a381368a6e530fd9cfaf75684cdafb86ba06def9","datavalue":{"value":{"entity-type":"item","numeric-id":5473965,"id":"Q5473965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$42974B7E-9F83-4729-9C1F-D85ED9E91BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac8b95fc49a76dd8bbb2369f4de406bfa97dab88","datavalue":{"value":{"entity-type":"item","numeric-id":3729994,"id":"Q3729994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$FBE8106B-C9FB-4824-9999-8712FC9A9DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac9e4b5cf31ebaee08be3beb31c1f3a7e062730","datavalue":{"value":{"entity-type":"item","numeric-id":4733441,"id":"Q4733441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$78AD8B28-50EE-4825-9898-05447F43CE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca836191187cfe0b6a41958544cf85f8e4f0514","datavalue":{"value":{"entity-type":"item","numeric-id":4275262,"id":"Q4275262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$588D0FF3-CFA6-4A80-B3C3-24E815E35A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$4AD2FC2C-0E07-4AAB-9F2D-D8E18F3F79CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$446D92A4-3857-40F7-9ED7-C5DF345DA009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$9FA7CFA4-5B74-458E-98A2-21D369508B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ce4b80471340cb55a693292be4e006b860c889","datavalue":{"value":{"entity-type":"item","numeric-id":3680239,"id":"Q3680239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$3E435DCA-4CD3-47C8-A633-7D2D4FA6409C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$C56F82C5-61B1-40BA-A508-B67251CD93E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810a438105196696cc0a2f8acd79928b03e80b29","datavalue":{"value":{"entity-type":"item","numeric-id":854969,"id":"Q854969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$28E507E1-F022-4D69-AD91-BEE97D66E480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43151032accf7b6ce02db5b446eeeab043169fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5504679,"id":"Q5504679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$65649803-8A5E-4F22-ADD1-D9DB83C81959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add49254ee2d5fb1029984592805bdea93a2d53b","datavalue":{"value":{"entity-type":"item","numeric-id":5730888,"id":"Q5730888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$DF819896-2821-4628-974C-53A94C0BE154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9a002c27d4f40c42364ffbdf4cc7af05f9a626","datavalue":{"value":{"entity-type":"item","numeric-id":2900547,"id":"Q2900547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$91A7E9F7-632B-4D41-9765-5A9D0690776F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593006$317A8E43-E2F2-48CD-BCE0-796959CDFC51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5fe5ca3fd247d875ebce875ceb06f1cfebd9b33","datavalue":{"value":"https://doi.org/10.1017/s1471068415000307","type":"string"},"datatype":"url"},"type":"statement","id":"Q4593006$A32A0C7C-3821-4237-A20C-96C733E0E823","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2bcc6f2145e5aa187d0f98f438267d76c39ebe61","datavalue":{"value":"W2403059872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593006$3E68BE4F-0927-4F4E-BAED-A4B8AA00323A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76c8543233f5fe0b6b3529cc1cb9880542e0419","datavalue":{"value":{"entity-type":"item","numeric-id":3523235,"id":"Q3523235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c1d7cbc6da3263c5ba1f380e60f523d91514ea","datavalue":{"value":{"amount":"+0.8420932292938232","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":"Q4593006$F79772D0-6A16-41E0-B3A1-68F858322260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c7b1cf1bf8781ff01f1b7fd6f6d35fc46a758f","datavalue":{"value":{"entity-type":"item","numeric-id":4635843,"id":"Q4635843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da5c251d8ccad03e3d2e89512fc1e0287298b36","datavalue":{"value":{"amount":"+0.8139198422431946","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":"Q4593006$FC7B7FF8-EFAD-48A7-B703-F9D44C95A807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e1e3eb0a20ae2103ffd294c83daa6fcbf25eb3","datavalue":{"value":{"entity-type":"item","numeric-id":4583305,"id":"Q4583305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b82c6858d7be2cd88ce6ab44e9ba713767f75a61","datavalue":{"value":{"amount":"+0.7961540818214417","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":"Q4593006$ECD59DAA-1ECB-41B3-A299-BB6905904233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a8453f4be4fce686cce848d3f4b1d7015948ae","datavalue":{"value":{"entity-type":"item","numeric-id":4930755,"id":"Q4930755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41694b777a42c82f62ef1d88a7fa9aa739d88bb","datavalue":{"value":{"amount":"+0.7906296253204346","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":"Q4593006$B8048D32-B329-4453-B9F4-A55EB3CF3AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faed175f80fa864bd1c059cfe71a8aebd0667619","datavalue":{"value":{"entity-type":"item","numeric-id":2851228,"id":"Q2851228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31081ed31ccbfce4f927d416129b7292f611006b","datavalue":{"value":{"amount":"+0.7856116890907288","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":"Q4593006$AA7FE619-18E1-44E4-B963-7E37A5C4C868","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4593006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4593006"}}}}}