{"entities":{"Q1970919":{"pageid":1981661,"ns":120,"title":"Item:Q1970919","lastrevid":47471011,"modified":"2026-01-01T20:15:13Z","type":"item","id":"Q1970919","labels":{"en":{"language":"en","value":"Basic logic, K4, and persistence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1423839"}},"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":"Q1970919$59625CCF-3AED-454D-B638-0F9C817D2357","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"474527dc83454c46efcb90e232d33347ff8265a9","datavalue":{"value":{"text":"Basic logic, K4, and persistence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1970919$A3339EED-4DE8-492A-930D-3ECEFBF380CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af94925c9369985258031a94d5d9fad9decc08c8","datavalue":{"value":"0942.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970919$C9EBE6B1-8C50-452E-9121-759923685397","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01bf72c842289d3b1cb6c4eec9ef3880c141a49f","datavalue":{"value":"10.1023/A:1005298819843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970919$D8FD0F70-374F-480A-8D30-57E1C0075FFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02d955a17ce895bcc975b0ea6d4eead2e64dcf81","datavalue":{"value":{"entity-type":"item","numeric-id":190250,"id":"Q190250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970919$D89356A5-3ACE-4A28-86A9-7C82564C6633","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1970919$370B52A9-5A54-49E5-8802-9723CF9D3B46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1970919$9712638E-1660-449B-8BFD-7BEFCC39E17E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970919$BF76DC5E-00C0-4608-9AA6-69073EC61C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970919$1D46B28A-5FE4-4374-A6D5-38F6380DC0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970919$76147B2F-9DC5-456F-B3C2-82D5A55EBF81","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"124bed84cf0fc9212aabda550618be248dd17c8b","datavalue":{"value":"1423839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970919$ADAC2189-F849-4A17-A15E-BF00B528F1CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0187098c73dd13a304f19c2e5ae093d6801afa54","datavalue":{"value":"basic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970919$2CC4FC35-C9FC-4517-9254-D7AB9C52F6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10af82b6c776791d7d64de49d5d68b1a7d6f9e83","datavalue":{"value":"first-order formula with one free variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970919$C9C31FEE-E2D1-45B9-9379-766B2648ECB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970919$2B9B57D8-AC5A-4566-8D3F-CC8D1FD7D983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4de4c9fbd4fd69a5d82ef9be173c3c32429ccedc","datavalue":{"value":"strong persistence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970919$B3BCF54B-93CD-44EF-8870-3C2ED437E247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970919$4ADDD380-1973-429E-8B79-1AA0DC9A6466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42380aadede16500bf396bc7455f1c1274e477d9","datavalue":{"value":"transitive frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1970919$F7522269-0CCE-4D8C-A6E1-3C3AFD0F56C0","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":"Q1970919$954F8F46-1997-47B7-91DB-6CEFCEB0C9E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0731e37134e0b4f26e9da47ab48fa2b2e42d366c","datavalue":{"value":"https://doi.org/10.1023/a:1005298819843","type":"string"},"datatype":"url"},"type":"statement","id":"Q1970919$DE2E23CD-3FBD-4C75-9110-F1E705190A94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"343c3d57c2d3ed03e0a128ee00ab89171fe1aa4b","datavalue":{"value":"W1489361083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1970919$E91D9BD0-C6CF-44FD-9A47-26C74B546719","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73321d23481ef02742cd6e5b16a9ca0b953eb270","datavalue":{"value":{"entity-type":"item","numeric-id":4032666,"id":"Q4032666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c0f093d26711f304a71549ad15f5de41adccf6","datavalue":{"value":{"amount":"+0.7248978614807129","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":"Q1970919$4C073CCC-D342-4E55-87C6-556673A3486F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b60bdfb1d24a61ff6a4cde85147b64b891f2386","datavalue":{"value":{"entity-type":"item","numeric-id":732052,"id":"Q732052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf993490cb3ae060d4bc9bd2942f8ca2e616879","datavalue":{"value":{"amount":"+0.7219069600105286","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":"Q1970919$4BF112F1-B645-4676-857F-5C6E6F931ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"385db15b7a3309167fc2c3991d761047e5fc5a5e","datavalue":{"value":{"entity-type":"item","numeric-id":3535603,"id":"Q3535603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2a1c67b3755c8e61329cc8db1fdbe7a5d5f36f1","datavalue":{"value":{"amount":"+0.7197102904319763","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":"Q1970919$D8DA35AA-2EF3-4064-AAC8-8102DFA22A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac627fd61feb27abab3e105a1012c225337c635","datavalue":{"value":{"entity-type":"item","numeric-id":3619870,"id":"Q3619870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5200b6541bac2ee75bb5f77b7fdb2616c9deaf02","datavalue":{"value":{"amount":"+0.7193437218666077","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":"Q1970919$8CEC2351-197A-466C-91CC-206367AFA99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe9d92ea9faa7a7c247b83470590b5f7cb48217","datavalue":{"value":{"entity-type":"item","numeric-id":714726,"id":"Q714726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"add57dc04e0ed4e32f317c88514d6dbac6597f92","datavalue":{"value":{"amount":"+0.7185977101325989","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":"Q1970919$6E713EEB-7421-4EAC-885D-43D0C2C15370","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1970919","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1970919"}}}}}