{"entities":{"Q1414570":{"pageid":1425310,"ns":120,"title":"Item:Q1414570","lastrevid":68649735,"modified":"2026-04-13T01:11:19Z","type":"item","id":"Q1414570","labels":{"en":{"language":"en","value":"A constructive approach to state description semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2012942"}},"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":"Q1414570$81E3E48F-9107-41F7-A745-72D314457B3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a21d697f1f3f2a2825132255192798b36fee05f7","datavalue":{"value":{"text":"A constructive approach to state description semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1414570$FE153845-2065-4E36-965C-0DD8A1192EE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bc35236d1a06239a7907e38e33195dda4118369","datavalue":{"value":"1032.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1414570$85CA8E01-2BFA-423C-B5DE-CC778D4E584E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b44fcd76aa452d717f89eaa1ea0512b971713d45","datavalue":{"value":"10.1016/S1570-8683(03)00003-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1414570$7B07E0E0-DE31-487D-8F8F-F55486333E86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74f402e6161c0e147caf1423081d8f936f59c208","datavalue":{"value":{"entity-type":"item","numeric-id":484902,"id":"Q484902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414570$E8723168-E17E-40D8-951D-6FF54EB8AB15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414570$0B991715-3C4F-4AB6-985F-EAC0FF2A71F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"72ac6298b0e38b6b36f76f058ea3dcd7452d4cb9","datavalue":{"value":{"time":"+2003-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1414570$C3DD819E-C6D8-43FC-A61D-F8B3B89B3F68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1414570$F5C6A430-17F1-4D7E-9579-E140D7CB0092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1414570$ED1338B2-1277-430B-8166-2BB2C7D92F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1414570$4D553775-0304-445E-8264-AD165B6EE033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1414570$4EDC535C-07F3-4D35-9A16-8D3EE83B0359","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed2a4432e984ce20ed402240fd52192d86d6d25c","datavalue":{"value":"2012942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1414570$C7D93929-E767-4A4E-AAE6-C26054F9AFCB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bf04b63839862822bac2a4b14a6661922ae9299","datavalue":{"value":"Possible worlds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1414570$EE39E3D6-1718-473A-B96D-9F7433A384AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82394d67b1703b2493f42e85d54eb267ecdf7e35","datavalue":{"value":"Carnap","type":"string"},"datatype":"string"},"type":"statement","id":"Q1414570$1166A3C5-90C1-47D6-BCED-AF229063485D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3738894d4f2a8c6a75bcc917291a1ff1549694c","datavalue":{"value":"Martin-L\u00f6f","type":"string"},"datatype":"string"},"type":"statement","id":"Q1414570$D1199774-728B-4690-A0F3-88BE84B034B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cb268f319f8a95dd0f81abe8a0dc47b19e57734","datavalue":{"value":"Constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1414570$F5BE414C-D37A-487F-9134-E482FE476619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ecb0f0f4dcd6bbcbb8cb1391a82c865f06ce566","datavalue":{"value":"Modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1414570$3E9567BB-57B7-442A-A163-CDB2793C0207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c201bcbe7301b8d6c01dbaab897e531428f052a0","datavalue":{"value":"Quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1414570$A9994B68-459D-4E85-8BA5-9B8EC7116D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2b8c8ba06fcadd2342b61425f889ec5626eec5","datavalue":{"value":"Choice sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1414570$99EE7411-7FFC-41F6-B235-344E58D45A03","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414570$CEE6E6D6-174A-4BFF-866C-8A64DA9CFAAD","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":"Q1414570$1AAD93FD-69BB-41F5-B06E-7E676E2EEB75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69f37522343abd35ed025cc512dd2a67e21c314","datavalue":{"value":{"entity-type":"item","numeric-id":5842291,"id":"Q5842291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414570$F516A7A3-43CD-4B72-8BA3-CECFC3A3084B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b248c9a41ac79c43d6cfda81503444339c93564","datavalue":{"value":{"entity-type":"item","numeric-id":5791196,"id":"Q5791196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414570$09F54DB7-496A-458F-B996-62C648A3808B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53fa539ce7a087eb9e4cdefa0a22147c813d9f2c","datavalue":{"value":{"entity-type":"item","numeric-id":1221091,"id":"Q1221091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414570$3212015A-F0F9-431F-802E-AA445C2E7C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af41b4e294ca990ef5d79c17738dc38f85dd0562","datavalue":{"value":{"entity-type":"item","numeric-id":4314073,"id":"Q4314073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414570$A3269807-4629-4633-95C2-A2DC5C10673E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e09aa05798a503121285cd3842f17fb3fa8df24","datavalue":{"value":{"entity-type":"item","numeric-id":4032668,"id":"Q4032668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414570$5DC8B4CD-4439-43F7-9DED-A57C5B9FE10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414570$C51F7B35-395D-4889-AB1F-3DDBAD0AB3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae171cb009776ff965b66a7b067c7304d6508e82","datavalue":{"value":{"entity-type":"item","numeric-id":3227561,"id":"Q3227561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414570$1566ED5A-DDD1-44BB-959B-496160CF1B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414570$AFCB74A2-1420-43FB-AF21-3B9E73EA7568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92a0d61166f7a29e31bf6cdd79942decfb851d1c","datavalue":{"value":{"entity-type":"item","numeric-id":4342089,"id":"Q4342089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414570$ACB5D4FD-BF87-43FD-9235-F50FC2F3F6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69e4e3c6e6db6273645f322c23116e1ad1c80","datavalue":{"value":{"entity-type":"item","numeric-id":3343983,"id":"Q3343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414570$833B7AB1-8303-4643-A57D-C0374CC56BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c3faaf5806bffb98996997da8da058ecfd89e5","datavalue":{"value":{"entity-type":"item","numeric-id":5752569,"id":"Q5752569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414570$CFEA70EC-A9BE-434E-AB25-3B26B6F98148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91a6fc5a255cbadfa617ce94146193166c4f9ed","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414570$AF5B03B6-133A-4517-A3F7-ACA64C1E3723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda6a96c84776c6a53671d0ce8382a60ae51c281","datavalue":{"value":{"entity-type":"item","numeric-id":3348895,"id":"Q3348895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414570$812FB9C0-ACA4-4889-86AB-2FFDECBD427E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aee2f94b9261db91fcb79ee075343540417328d","datavalue":{"value":{"entity-type":"item","numeric-id":4843182,"id":"Q4843182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414570$FEE010C4-111B-4D59-9D59-8F8089EB18DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba85b98e8e346ac6a87314074cf35bf1d70516f","datavalue":{"value":{"entity-type":"item","numeric-id":4003339,"id":"Q4003339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414570$6387F477-3C29-48AE-8366-80F9314F1932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5705a2bc71a85b7bb2d856c1cde9b4da8d7426","datavalue":{"value":{"entity-type":"item","numeric-id":4126323,"id":"Q4126323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1414570$97BD3700-621C-487D-9D08-4A1C65037F5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5f7dbe6b75ef2ce70c60dce794a5f4775dc387","datavalue":{"value":{"entity-type":"item","numeric-id":5491167,"id":"Q5491167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"556d3a589aeb691e6f9f3c5dc93b40068abc07d2","datavalue":{"value":{"amount":"+0.8757844","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":"Q1414570$66C75FA8-E625-4465-B839-D1128364AA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ce822f7dc4368e0fe4aa905959aa6c46eb3e14","datavalue":{"value":{"entity-type":"item","numeric-id":1001804,"id":"Q1001804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90bfa4612cc278ecec94cc0cf68b1e1b97e1fbe9","datavalue":{"value":{"amount":"+0.866928","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":"Q1414570$F4B53041-7FB8-492D-A522-9588C2684B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7222831c4571623d446b4714075acdbe28a730d9","datavalue":{"value":{"entity-type":"item","numeric-id":4520893,"id":"Q4520893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b08ecbc6c122b9d211da0b19200adcc1365de697","datavalue":{"value":{"amount":"+0.86426145","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":"Q1414570$416767B1-B64B-4978-9ACF-8682AC89D3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16a022ae0f8d3587ef1132e8b5b3b56b91a5c471","datavalue":{"value":{"entity-type":"item","numeric-id":5428888,"id":"Q5428888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b082076dbdff14ccddd93a901a33678745236921","datavalue":{"value":{"amount":"+0.86257464","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":"Q1414570$BE965AC7-2F15-4882-AE99-F569CD7E1C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14769bb0b35d33367daf96f9521194d625b8bb12","datavalue":{"value":{"entity-type":"item","numeric-id":1194330,"id":"Q1194330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f6109ccd475ea16f6e65f01a9a4e54c51354de2","datavalue":{"value":{"amount":"+0.86034495","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":"Q1414570$68E34486-BD38-4CE3-B0C6-7690D8852977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73763ed91538edae85e64a6439fd5fb7237f667b","datavalue":{"value":{"entity-type":"item","numeric-id":4028132,"id":"Q4028132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b255960c6932c1e56a0343569b745db459741831","datavalue":{"value":{"amount":"+0.85568535","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":"Q1414570$D33CC325-3A83-4F0A-93FC-FA4F3684CFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a17d7b0be4d79b5d918594390bae6816282f2c31","datavalue":{"value":{"entity-type":"item","numeric-id":2754141,"id":"Q2754141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"033d5c7170b1fcf6c369911150afb694352183b9","datavalue":{"value":{"amount":"+0.8540573","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":"Q1414570$19ABAC3E-472E-434E-8C29-DA774CE1C00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e7604d5ed2e3e63634294b4579d39e49f34869","datavalue":{"value":{"entity-type":"item","numeric-id":750133,"id":"Q750133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a42828fb87e33dbb1bd43b0481bc29792ba3ab92","datavalue":{"value":{"amount":"+0.85337913","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":"Q1414570$60520FFA-E1E3-44C1-B5C7-28DC9EC2C07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c652430a278828cb967d45cfb12fb573319eca3","datavalue":{"value":{"entity-type":"item","numeric-id":2642475,"id":"Q2642475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0b1be48c03c5636ab16972839f1f4b17ebba52","datavalue":{"value":{"amount":"+0.8532027","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":"Q1414570$1C71C06D-7593-4747-A9F1-1BE3DA9F2CCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constructive approach to state description semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_constructive_approach_to_state_description_semantics"}}}}}