{"entities":{"Q4012173":{"pageid":6041971,"ns":120,"title":"Item:Q4012173","lastrevid":55174171,"modified":"2026-02-04T10:31:17Z","type":"item","id":"Q4012173","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 67450"}},"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":"Q4012173$8F7BCD6E-7E65-4B18-95E1-E0E48DCCEEA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed6bd1d919e63cac18e94260ba3e1ee6ea19bfdd","datavalue":{"value":"0745.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012173$576589CB-7F35-4DB5-801D-7E107172974E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4012173$8F63FC54-370B-4DA9-8394-7AF157751B80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012173$B68D197A-230C-4D6B-A684-8791A5D2884B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012173$95FA7EC1-9BC0-4083-8885-62D0E9F388C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012173$89CF8BA7-40FE-4B98-AB41-EEA03B8187DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012173$266653B1-0623-4198-9333-698C9E989ACB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b17b4b07ec615dba623904ce5249c85ff7609829","datavalue":{"value":"67450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012173$90579F58-3A55-4891-A089-E7D067C3DA33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fbe29db05c9f513a4ccb33b4ea23d81ead6da84","datavalue":{"value":"reflective reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012173$41F99028-6D5C-4A87-9A09-E91C3B09F2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b62777bf4258b011f52c3ace67d176e04e77eea","datavalue":{"value":"GETFOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012173$5A33BE61-4175-4D7A-870E-0AC52954E8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac73c46dfc4fc9f59087dedcea19a50fb9150ef0","datavalue":{"value":"metalevel theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012173$C10FAF4B-DE27-48EE-B10F-C3F1D349CB3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99809ed495e654999be3f275423a0ba7027d3b10","datavalue":{"value":{"entity-type":"item","numeric-id":219437,"id":"Q219437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012173$9821830F-DC87-438B-B385-F8FB815FA934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"943c650392a3817201cf599afc27db772c982eba","datavalue":{"value":{"entity-type":"item","numeric-id":1380426,"id":"Q1380426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012173$E47B7C63-CAC1-4959-9B57-F43DF5772B8A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012173$4E6A9ABF-B168-42C1-B915-7C01848AF1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012173$CA6CBEEC-8509-4A34-9E4B-637964912982","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":"Q4012173$86FF510C-A716-4BC2-BFB7-BE9FA8B49045","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16db67012b2077f5bad56f6e6e6bfa4f8ae41098","datavalue":{"value":{"entity-type":"item","numeric-id":2676562,"id":"Q2676562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a2aae45539bdfab65a1b0a120575c8b8ecec13","datavalue":{"value":{"amount":"+0.8098977208137512","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":"Q4012173$116A322C-3A1E-4322-B1A3-D4111F7D85E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31526417b41b3553c8100763fbdaeca3eaa2827","datavalue":{"value":{"entity-type":"item","numeric-id":1380427,"id":"Q1380427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc317bde3759a7f127dc23c9b7d71cc86a22db92","datavalue":{"value":{"amount":"+0.7665960788726807","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":"Q4012173$7E637DD3-7FBA-4D76-AC1E-F7CF42F5AFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cb5f5ddf345ffe9b483527e07192eab956e41b4","datavalue":{"value":{"entity-type":"item","numeric-id":4303116,"id":"Q4303116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f98cc2ac88a93f683102e2b96a86c2217a6369a5","datavalue":{"value":{"amount":"+0.7608785629272461","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":"Q4012173$DD2E7833-58E4-4E4E-B652-910C5F6D22A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f22deff83d6518490b4450baa14fe5634d745add","datavalue":{"value":{"entity-type":"item","numeric-id":4884066,"id":"Q4884066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91aeea6516d52afe3a8b2d554fba0f254019ae8e","datavalue":{"value":{"amount":"+0.7412406802177429","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":"Q4012173$6FA0A3D4-A0AE-478C-B34E-FF024A9BC467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a99cc59c27d3aaf181338341c05acc917907887e","datavalue":{"value":{"entity-type":"item","numeric-id":4303117,"id":"Q4303117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68d0cd3ef04f51dd3543a2f264a59c073996f3a6","datavalue":{"value":{"amount":"+0.7359147071838379","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":"Q4012173$5324D920-105D-46D4-912E-8EEED7423E1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012173","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012173"}}}}}