{"entities":{"Q4198727":{"pageid":6228328,"ns":120,"title":"Item:Q4198727","lastrevid":28418354,"modified":"2024-03-05T13:42:18Z","type":"item","id":"Q4198727","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3637823"}},"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":"Q4198727$C22FFFB1-25C7-4BB9-843A-6CBF878FD473","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65653821c3d682d83287fe0d200d4f012ee9d57b","datavalue":{"value":"0411.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198727$EABE255C-E918-49CD-A98A-22C175017899","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":"Q4198727$75874BC8-2606-4ADC-8364-F3216F5084D8","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":"Q4198727$143BB6F6-9954-42B0-B5D8-1D3284BD057C","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":"Q4198727$DD028B84-D873-45C6-A65A-91E617746E49","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":"Q4198727$F387CCD8-6D1F-4175-9DF9-71AAEA44A1AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198727$CFE136BB-7EF8-43DF-91BA-B3CCEB68AAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198727$8C4F1F58-1B75-44C5-A878-3D4CCBA50FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198727$C037F333-716F-475E-A3B7-CE72A40A7866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198727$4FBBA285-EFD9-473E-BF03-6B71CFC5F3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198727$081443B2-9F75-4213-800C-143DD5519F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198727$4D5C198F-C2D6-4234-B57B-1C2DE7735AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198727$FF4206BF-1A9B-4D39-A73C-5D1E10B76BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198727$C532F607-E405-4B07-92B0-72E847564F45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10f9b6fec5e00e5056867db02ef74b8a4e782787","datavalue":{"value":"3637823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198727$E8AF1A6C-DE05-4838-9314-8DDDD8393640","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23514bd03f6103866da5ab5a95c4b6d980fae6c","datavalue":{"value":"abstract model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198727$EF59E64D-94A2-44C6-AF31-EE6E22A39E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d0d982a52001be51b0b0f5f088a18d1ab472e7e","datavalue":{"value":"non-classical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198727$59EADC6E-4C62-4D20-8E8A-F518F3830D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198727$8B119290-B2DC-4010-A4ED-B68560320A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198727$C53DCE5A-FE87-4AE6-83E8-04582BE05D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ab5ac43993bfceaade5b499f698549ddab0e021","datavalue":{"value":"logic for reasoning about programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198727$83F19CBA-1052-4ACA-8493-AF2E32ED5D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126cc1be98615b1a7c3f96edbf17bf5b4e9adb72","datavalue":{"value":"Henkin-type semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198727$DB404DE4-0C81-4433-9C2A-924D4E8CF935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"696e0b738983e4ce53e209d0bc37523c942a9413","datavalue":{"value":"nonstandard model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198727$D0FD8E1D-1040-4240-9685-839660B74A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad18f8862c5004c6cc4fb002c2d1efa114e9236","datavalue":{"value":"logic of actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198727$BE351723-418A-4929-BD43-3E4D7582CD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f3c507b360be27006de618eb8bd84568ab46eda","datavalue":{"value":"programverification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198727$61606408-281E-4CAF-B930-C3CBA140DD2B","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":"Q4198727$8AA3D3E4-26C2-41CF-A250-9B03E2C83E53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4198727","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4198727"}}}}}