{"entities":{"Q3028985":{"pageid":3039701,"ns":120,"title":"Item:Q3028985","lastrevid":49092397,"modified":"2026-01-06T14:17:00Z","type":"item","id":"Q3028985","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016871"}},"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":"Q3028985$96467780-F7B6-46D2-B80E-D6DBB9306F55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e48ffcd0a4d35d10a2f209e9964c80c768a2d273","datavalue":{"value":"0626.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028985$5A5D6AE4-86E4-48C7-8C20-F292F3DDD325","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fb0a29412cf2c248d1a972a393cd5cb0fedc31f","datavalue":{"value":{"entity-type":"item","numeric-id":231497,"id":"Q231497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3028985$C4A7D54B-3F39-4ACD-A752-25C1B43BBFDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3028985$E8EBA71A-E650-409D-A846-E6FB105D54E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028985$85373C7D-8195-427F-A5D5-F23C401C6370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028985$F805902C-C96F-4BBA-833E-6C14E6E6FC9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0769146c7937d7a67cde16b6669ceac6aaa4deb","datavalue":{"value":"4016871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028985$566F0723-3D86-4673-A4BB-6B10DBEF52AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028985$2C9B7671-5590-4A2A-B772-3FE2FA5B755C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31ebe46d58dd5d7ee89cbc77d07e9a37af7d7165","datavalue":{"value":"First-order dynamic logic QDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028985$1B4B017B-9779-4625-A73D-D86ED21D4853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaa05b059ebf95ec9b99e03c0ac468ddcfb2e38d","datavalue":{"value":"before-after behavior of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028985$689AAD40-6304-4D0B-B6F4-0A8C5A3855E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d83e09aedb22e04db5214b8f75ff17c6193f5e39","datavalue":{"value":"diamond formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028985$21E938DB-B2F8-42AC-95E3-0891B946DC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028985$CA2E239D-B93F-4092-B6FD-7A9452BB6EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028985$ED9EAEF2-6A2B-47C0-B979-855F3E702C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd291c7cf82c656041070b303fb6d9723b016d03","datavalue":{"value":"saturated structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028985$A6D90C9A-EF8A-4606-88E9-A511FFA2D807","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":"Q3028985$3A1CF828-D014-45FE-95B9-2CCF38109439","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45819681a2f9476b388fb0fe63bb1abcd66d8081","datavalue":{"value":{"entity-type":"item","numeric-id":3734374,"id":"Q3734374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b2ce4ba91c14edd810c934b9497c9d88805a051","datavalue":{"value":{"amount":"+0.8722832798957825","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":"Q3028985$65001F40-7760-412C-817E-86F0D4EAE25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e86eb019fc332cd78dd00901a4ac57259ae542","datavalue":{"value":{"entity-type":"item","numeric-id":4029612,"id":"Q4029612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8265a293398f1224cda1e23b0de76cff462be06","datavalue":{"value":{"amount":"+0.7825056910514832","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":"Q3028985$B5AC8E27-5CB2-4446-8F99-2544632A2B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84e644170331a6a9485b207c047e686cd4d5525","datavalue":{"value":{"entity-type":"item","numeric-id":3826528,"id":"Q3826528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b4d9439e4a8a0213aca56fa4ed1561eea77664","datavalue":{"value":{"amount":"+0.7802841067314148","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":"Q3028985$8F178AD7-4AC8-4090-A6CB-1D23F7B60CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcfbe2ac44a0dcc2f5957fdd3687861fdc199a5","datavalue":{"value":{"entity-type":"item","numeric-id":3617722,"id":"Q3617722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21da90d59d893d12afbe2440a5080499e6e806b2","datavalue":{"value":{"amount":"+0.7729654908180237","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":"Q3028985$883FDA39-7E73-4E08-B7C1-A523A693D7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb5c56932ff269ab571dbc7900d427089f6827c","datavalue":{"value":{"entity-type":"item","numeric-id":5308458,"id":"Q5308458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af25f5f7b8e5843850a7a18258234e1c59d51b2c","datavalue":{"value":{"amount":"+0.7689768671989441","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":"Q3028985$044E11BA-99F9-4685-8C12-58E9A95E8F15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3028985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3028985"}}}}}