{"entities":{"Q3964526":{"pageid":5994431,"ns":120,"title":"Item:Q3964526","lastrevid":55119550,"modified":"2026-02-03T20:48:04Z","type":"item","id":"Q3964526","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3786734"}},"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":"Q3964526$3016F0C8-520A-483F-B33F-95C901AC5937","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64e7660ac2cc26eaa6fd24c8b28d9885b5509b18","datavalue":{"value":"0499.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964526$5F197260-D136-4C84-8C0A-070A10A805A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71bc0d1286410b61d0e3d23417e405a7a30c9582","datavalue":{"value":{"entity-type":"item","numeric-id":1240728,"id":"Q1240728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3964526$B80C9B0C-FEAD-4DB2-B18C-56BD6BCDEE55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3964526$75F02F1E-0E8B-4017-95B9-A4E8908536A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964526$3738C452-63EF-49F2-8ACC-5353E9C8443B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ee1e5b74216bac9a98144b6cc89fdf2934650ae","datavalue":{"value":"3786734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964526$909E58FE-9093-423C-ACCA-BA8605BB7183","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964526$03AB0A1C-4082-4404-9E61-67AA02A7FFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b23a967359709c84bff4d86b72bb901827c1c79","datavalue":{"value":"bimodal calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964526$8172A646-012E-4771-A1BA-4A1CFDB649CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d52ae79d471e8fc640970466dcda980fb9299b9","datavalue":{"value":"double model structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964526$7AEF8131-A3BA-4048-BE4B-8EB537A8B22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58b973d84378fe9ebe15ee9d413e41a9caf46bd6","datavalue":{"value":"double Kripke type structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964526$EC8E5FC3-2B15-4963-96A9-549A07EBB8BD","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":"Q3964526$83737856-83EA-4490-BE5A-D0790EB9BA0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3964526","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3964526"}}}}}