{"entities":{"Q2880593":{"pageid":2891313,"ns":120,"title":"Item:Q2880593","lastrevid":42433956,"modified":"2025-06-27T15:09:22Z","type":"item","id":"Q2880593","labels":{"en":{"language":"en","value":"Designing tableau-like axiomatization for propositional linear temporal logic at home of Arthur Prior"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6024054"}},"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":"Q2880593$3355BAA1-422D-4E75-B08B-95185EC5EDDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"182ed9f1c8ce47e537bbfd9fbb0d70059007672c","datavalue":{"value":"1249.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880593$6FDA36FF-8489-4C75-AF8F-C4256C110028","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29ee6d4e04c183e5bb6b0ff5941f040ab93517df","datavalue":{"value":{"entity-type":"item","numeric-id":174087,"id":"Q174087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2880593$8442D804-DDD2-4B02-8B8D-A0FBFDA90EC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3538f66ac447e631727bb2ad2d214ee0bd11997","datavalue":{"value":{"time":"+2012-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2880593$F598788F-880E-4066-B43C-5CDE2520B4C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880593$ABEFFDEC-9D30-4550-8AE8-635A8026609D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880593$669E9A66-D791-438A-AF67-01F802EA71B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880593$F907ACAF-2D2A-437E-988B-709D882FDA6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bde1e9307c0fad08411354fb620f9830f332ac3","datavalue":{"value":"6024054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2880593$FE055FC4-871E-4F08-B4CD-141E2FAF7BA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20e54c7e9920d0af0d61345073d767405f744cb","datavalue":{"value":"stuttering automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2880593$0FC677BE-7A90-4014-BB1F-E1A69C86A0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c3a8212036bcb9976cc84b155f72fa84de7a937","datavalue":{"value":"fairness constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q2880593$8306DB0F-757B-4644-A16D-691FC7BAAA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2880593$11FB328A-763F-4EB5-A9C1-B32A8CEDB0E3","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":"Q2880593$64FE0B2C-24EB-4AEC-892B-E04B93513533","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b4d444d72870639f2e26d67de9f91668568954","datavalue":{"value":{"entity-type":"item","numeric-id":2863170,"id":"Q2863170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7270c8787fd6e5cf9c7e9443c121cfa5cbbef851","datavalue":{"value":{"amount":"+0.92142355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2880593$DD746CBB-DE82-4C14-A8D9-87E349B8ADA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce80263bac2b4bdecf2005119948986e1263482","datavalue":{"value":{"entity-type":"item","numeric-id":2865739,"id":"Q2865739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cf64118a44ed82b76eae846aea4947c43650de0","datavalue":{"value":{"amount":"+0.9124956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2880593$7A23E654-08F3-4142-B19D-6C4A49AD2C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"598b93fedfab5914b4f006e71e819687fed1d842","datavalue":{"value":{"entity-type":"item","numeric-id":2669249,"id":"Q2669249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5062cefc54942fe2836db4062f9f91b2c02b4647","datavalue":{"value":{"amount":"+0.90984917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2880593$EC666CBC-AA63-4585-9D3C-DB70548C34C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a0ccf8aed1c673137633994f8b3d3c07e6e633","datavalue":{"value":{"entity-type":"item","numeric-id":2506829,"id":"Q2506829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ac05c7be7d939d344d9c1dbce5951642251494","datavalue":{"value":{"amount":"+0.9006727","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2880593$6C1E963C-1FDA-4CE9-95B2-0792DCBD7867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b018392c0ce66d828239079ceefc669b9e00bcc2","datavalue":{"value":{"entity-type":"item","numeric-id":5187862,"id":"Q5187862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d8074b88e302d33137812e9069643714e36d944","datavalue":{"value":{"amount":"+0.89863354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2880593$54BE3F86-9252-4146-BAC4-E8B84BD1EF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6c7f2a7a0b89621ad1c30ba9d3ba87f8d47cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d126e729366f40f94a2a489944683a9f0c2baa66","datavalue":{"value":{"amount":"+0.8953901","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2880593$EAE5A1C0-8D11-400D-B9E0-266C0BA366DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"359a5482ac880ea5d0c42fb9e8118c60ddc8171a","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd5d69a2f94a1bc164d0b44d9d53b18fdc1153a","datavalue":{"value":{"amount":"+0.8931405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2880593$8A4014B9-AC6F-464E-AAEF-7837625D1808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948c51ca78fd2f7f901011ee5beb79dd03c3e3a0","datavalue":{"value":{"entity-type":"item","numeric-id":4812313,"id":"Q4812313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69cc327e1ff8980709e27ec10f7fe6e198825be7","datavalue":{"value":{"amount":"+0.8920407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2880593$0EED1E8B-CDFA-4839-9731-02E57FDD5D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa56897cb01801d4ff9a432f946c6bc247a0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":4636307,"id":"Q4636307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c03b5ed4ee8963729ed9778b4f4795d69bd1ea5","datavalue":{"value":{"amount":"+0.89121604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2880593$3F5FA5CB-3974-43CA-BB71-E42D112B2C22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf6199dc8291b1758c821fc9ce7a92c1597db72c","datavalue":{"value":{"text":"Designing tableau-like axiomatization for propositional linear temporal logic at home of Arthur Prior","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2880593$9352166D-C777-4B59-B6B7-E56959582D3F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f14cf405d03e3e34225cf632c752148a6369300","datavalue":{"value":{"entity-type":"item","numeric-id":6773840,"id":"Q6773840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2880593$DBD7E1BE-612C-45D0-86F9-7B57E1B5FB56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2880593","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2880593"}}}}}