{"entities":{"Q4503907":{"pageid":6533500,"ns":120,"title":"Item:Q4503907","lastrevid":47505568,"modified":"2026-01-01T22:31:45Z","type":"item","id":"Q4503907","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1507187"}},"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":"Q4503907$C60E99B0-B0CA-4CE3-8567-C82A849E4DDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d40a5d7cce74dbcc491db9f2f173df9551471945","datavalue":{"value":"0960.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503907$8DFD8490-73D8-4029-BF3C-B62355572A05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38294f58718971c8a6ef43a1f5d9b363d178f21d","datavalue":{"value":{"entity-type":"item","numeric-id":2702593,"id":"Q2702593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4503907$8268EAA6-B720-436C-ADEE-B2B09DCA020D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0a8ef751728b2b17bbcf17280282a4718c22627","datavalue":{"value":{"time":"+2001-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4503907$AB4C23A2-0694-43DC-956E-B4FDEB8F4BFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503907$F37CD10A-3F39-464E-AC9D-4557F64FF1BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87feb36df916b1e9b7c1a0bfa93a5477860dc873","datavalue":{"value":"1507187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503907$50330340-4C2A-4915-A7EB-4C76EAEB20F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a313369d6da90dd1bef2143dee22ad776773a0ec","datavalue":{"value":"first-order theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503907$322C21D2-CF75-43EE-ABE6-ACF36E6350B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9b2a395f88d56e584022d10ceb6463658899721","datavalue":{"value":"typed logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503907$3CF507AB-6254-42B0-B0E6-A4CBFCD5C49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a19e5ce71d240d882acf833a8c42a17f270c742","datavalue":{"value":"untyped first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503907$980814B0-8D47-4AE4-A7B7-27B051E12FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d23514bd03f6103866da5ab5a95c4b6d980fae6c","datavalue":{"value":"abstract model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503907$281163F4-EA4F-49A3-B0AF-8F049F5D3E7E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4503907$FD689442-9693-4C41-AE7B-577AD0CA1D6D","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":"Q4503907$34B8AE1E-0C32-44F4-AC39-17DB31DA11CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86930e50c98cf354bb283e1562c8ba3467e93c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4413895,"id":"Q4413895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0acdd5586c3c4a33470b4a01b8c5c798477aba","datavalue":{"value":{"amount":"+0.8127385973930359","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":"Q4503907$63742EEB-15A2-4415-94A6-66CC342FCBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b168262f9e1b4514313a24dfabf8223d2ad31a3","datavalue":{"value":{"entity-type":"item","numeric-id":556682,"id":"Q556682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a6c86507d0d2fc469c6bf22bee9a90949b8b313","datavalue":{"value":{"amount":"+0.7634640336036682","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":"Q4503907$A02EE4A6-7A6E-4D34-A5CD-E66EDEB67D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b4440e24c330497025549da4d4dc8ba9f23acd","datavalue":{"value":{"entity-type":"item","numeric-id":5747877,"id":"Q5747877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cad3969290391e8e9201c5ce68db24247d4af63","datavalue":{"value":{"amount":"+0.7501407265663147","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":"Q4503907$BCF3C083-4F1C-4143-959A-49065B5825F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63c88c73eb0f33863fc007467a9962367e1e0911","datavalue":{"value":{"entity-type":"item","numeric-id":877826,"id":"Q877826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be520b0da178ff7cec016b49bf0e5883a4adb791","datavalue":{"value":{"amount":"+0.7477807998657227","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":"Q4503907$7F94C736-0899-4D1A-82DA-F47609634F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68286d7451b97648f7a1b750dba7350b032d242","datavalue":{"value":{"entity-type":"item","numeric-id":2817297,"id":"Q2817297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7faa1da2f8fee53ced1c54412ee56e3b8183327","datavalue":{"value":{"amount":"+0.7469244599342346","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":"Q4503907$B2E0BF6F-4EB0-4818-B998-E374D86EFE1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4503907","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4503907"}}}}}