{"entities":{"Q3208642":{"pageid":3219350,"ns":120,"title":"Item:Q3208642","lastrevid":45681196,"modified":"2025-12-16T07:40:08Z","type":"item","id":"Q3208642","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3650541"}},"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":"Q3208642$1F9CD384-C403-4B0F-8B80-0BFF1491C3D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"831be347b69a6edd069e56018199ed8ebecd1e8c","datavalue":{"value":"0418.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3208642$F87AFC2F-3448-43D6-A664-17D38D59172E","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":"Q3208642$60EAAB82-72C5-40C1-8129-E17B25A20AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0c110e220042f8c25f69d7566fe58fbf25b7","datavalue":{"value":{"entity-type":"item","numeric-id":514567,"id":"Q514567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3208642$90B62DCD-508C-46B1-B573-84634DEDF0EB","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":"Q3208642$72ECBE80-070A-4E62-8651-418CDC4FCC1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3208642$6BA332B8-198D-4AA5-AAED-BD4DE2E7F13C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3208642$371C7F2A-6979-4762-BFE6-0A47FA98E9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3208642$A5393056-A6A4-4F12-A7DD-8FCBEAC76576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3208642$D29D83E9-93E2-43A7-94A7-1D6BB82F80CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3208642$186BE419-F4EC-4F10-8354-D51574F991CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3208642$08EF11B7-3B65-4810-B06F-564D950298C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3208642$B2690524-6CB7-4F67-AABD-7251EF5E9DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3208642$C972CF88-E070-4F24-8ABE-20DCE8D86A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3208642$B5EC62B4-7F79-45B4-976F-6A84338BB407","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd1945f43a647c9420efa5d10c4b23d54b3db1db","datavalue":{"value":"3650541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3208642$63CBFB26-38F4-4428-BCE4-B0A1C52079A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ebf9efaf2e95cd40bad7aa746079c10e6f6ba19","datavalue":{"value":"first order dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208642$CCC742B6-4D80-42A0-B47C-CC6BC43FA5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4176ecbb6c3e9a3737accad846e3c6873925e1ff","datavalue":{"value":"semantics of program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208642$31A60FF0-1997-4BA6-977A-A278D414B030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1a530ebebfe9d67cc01e23074092169ca8f759","datavalue":{"value":"model-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208642$17A6FF57-C49B-4729-AAB1-157CF02A726D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3a1b4e3f53bc50d814ae770b2a618fa82dbaef6","datavalue":{"value":"complete rules for program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208642$0F642197-BF4A-4108-A61A-9BAF538AD949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad18f8862c5004c6cc4fb002c2d1efa114e9236","datavalue":{"value":"logic of actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208642$ABF87CC0-F7B7-4724-868F-487F74BD5CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208642$1EBDF261-D046-4421-9CF5-3C0427D30BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c6d887dea02064be0360477cc5a75e3c7b45070","datavalue":{"value":"inference systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208642$C766FF3E-1FFB-449D-A2E1-46305C3E38F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3208642$C5890427-3314-40D4-BCB8-0CA79968A78C","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":"Q3208642$A14E6E4D-3BF5-4683-9B6D-4FFD499B02A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3208642","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3208642"}}}}}