{"entities":{"Q4860647":{"pageid":6890227,"ns":120,"title":"Item:Q4860647","lastrevid":47384191,"modified":"2026-01-01T14:18:42Z","type":"item","id":"Q4860647","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 834561"}},"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":"Q4860647$04991FB3-CAA6-4159-B44E-82E0DC695266","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f887e16b0f1ef0d05916fe14eba95e4582f6aee","datavalue":{"value":"0840.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860647$2C6D78E1-47F5-44E5-8FB0-22F0247B07DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"857c2c80c4cd84e545d0cc0f92387a21b7c9d079","datavalue":{"value":{"entity-type":"item","numeric-id":227769,"id":"Q227769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4860647$C5A89025-FCBB-41F0-8441-08848E434156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"097dc9470c2945b47145802a7f80950df654abb7","datavalue":{"value":{"entity-type":"item","numeric-id":787977,"id":"Q787977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4860647$D0FD77B1-FA2A-41A1-AE43-0475EFA0CA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4860647$B11F568E-0146-4CB0-A56F-6D588BE9F858","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3795412637b3de2331b3ff6904fdddc88e823af","datavalue":{"value":{"time":"+1996-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4860647$7F06677B-0F31-412F-86AC-1A4DAC2C28BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860647$1CFC08B7-A34C-4235-B0FA-AFE7C4B17477","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0f8b344d65c3149b8d00adc2bd996a3f3e59b39","datavalue":{"value":"834561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4860647$E5565E7E-D23D-44CA-B628-7B43676344CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa3e932f2805ac24a638a0b361c7b8cdbb212264","datavalue":{"value":"modal fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860647$18DBF0B0-218E-4154-AF31-9A914D2D35DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b04a1efe25e51ef05092d9a6d95d304059ff270","datavalue":{"value":"bounded quantifier fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860647$FBC5CDFC-8C91-41C7-B584-8E23E0627F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a8d0d3eae6687efff617fd17b4a02afce45a66","datavalue":{"value":"modal formalisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860647$31287E28-D2F7-4073-9A82-5464B6D4103C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860647$9D891A3E-F1A0-4C1C-874D-C4CD0F1E1D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a61ae933ec27f1466f7c7fbee93644abaeec54e","datavalue":{"value":"preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860647$508B3252-FBA7-4EE7-88A3-499490B7D5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4860647$9332ECE1-3EBF-4D0D-BE20-ACE8B63671DA","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":"Q4860647$F2F1613E-6DA3-4E98-B188-8FC1CABC801E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14831d2027db8a13d78a2961dc6bb1f3a733e9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4a2430ac019ae82bd4bbba010b0432e5db5b9b1","datavalue":{"value":{"amount":"+0.8459432721138","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":"Q4860647$F54221C9-1432-4A40-8391-117F2A4E7533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e37c02e5fc129026c4872920f1f5be7b13eae3a","datavalue":{"value":{"entity-type":"item","numeric-id":4250043,"id":"Q4250043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f46c9413ac8b47d2b2b00b69d86714348a73884e","datavalue":{"value":{"amount":"+0.8447842597961426","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":"Q4860647$0D52B269-7ED8-44C8-BF7B-9CEA0F682A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c5c3db24506ffc6318870206026a901a8de8338","datavalue":{"value":{"entity-type":"item","numeric-id":2758067,"id":"Q2758067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4668b1ec84ea689d38c74e37d5684141521bcd0","datavalue":{"value":{"amount":"+0.7988543510437012","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":"Q4860647$AE760797-0796-4119-A1E7-A164478F69EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1e986817c9395337ea09381cad7944d529303a","datavalue":{"value":{"entity-type":"item","numeric-id":4250042,"id":"Q4250042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8a23cb144f001606398c494023ef993e840530a","datavalue":{"value":{"amount":"+0.7969129681587219","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":"Q4860647$26938763-5CB9-456A-AA61-F9DB0FE9D875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c23e8b540c1a08ebd55f144dbf5747bc35fe6ab2","datavalue":{"value":{"entity-type":"item","numeric-id":4383703,"id":"Q4383703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8a23cb144f001606398c494023ef993e840530a","datavalue":{"value":{"amount":"+0.7969129681587219","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":"Q4860647$40A41839-4D80-4313-9C90-57FA53136AF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4860647","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4860647"}}}}}