{"entities":{"Q3765262":{"pageid":5795168,"ns":120,"title":"Item:Q3765262","lastrevid":51824426,"modified":"2026-01-20T05:44:30Z","type":"item","id":"Q3765262","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4022663"}},"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":"Q3765262$CED55287-F0B8-4D88-BAB9-0824EC3EEC40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a99866ae462d8185a30a0e5d0ac63e93dd39662","datavalue":{"value":"0628.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765262$F98EFD16-FD82-4AEE-A909-65E05394DE38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daea94e18e7cc81384c841fe1ae770fd2f1b8533","datavalue":{"value":{"entity-type":"item","numeric-id":201914,"id":"Q201914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3765262$9FD71364-9FDC-4B16-99AA-E60EB696C197","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":"Q3765262$771FE209-D11A-4763-A14C-29A6363D705F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765262$53862600-985A-4357-826A-0F926DECEC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765262$CFF2E0F6-03D5-473D-B624-00C08FB2660A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68edc5a773e3d05cf10230287151ea628c72319a","datavalue":{"value":"4022663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765262$B3CEDF0D-CF0F-4079-A3A4-ECF593591530","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ad898fce43911ca55eb5ed942bac1dbc1b2a14","datavalue":{"value":"non-monotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765262$48F2F22F-3ABB-451D-A165-C6083B778957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17d6f2354e4b2e7a2da468d62f5e979d9061519e","datavalue":{"value":"non-monotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765262$16450BC5-6089-4477-91FD-80D6CDB6B080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f715c8a4421f6f03da66bbcf04dca414f303c9","datavalue":{"value":"special default rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765262$AFAF5ADC-E456-43D8-A78B-776F28FD3868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8fc9859084b06e7da8ae26a55229a3ebff7e05","datavalue":{"value":"extended theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765262$287AC120-6327-4A89-B6E4-685B022B24EE","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":"Q3765262$5484F1C3-C417-4663-B0AF-7DEA69EACDD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c5803efa67fa2b7ae216e286b8e96c250a6bb08","datavalue":{"value":{"entity-type":"item","numeric-id":1356221,"id":"Q1356221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf9569c7275d8661750439bbd368450ce465f9b","datavalue":{"value":{"amount":"+0.8045759797096252","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":"Q3765262$45E667E6-1A41-42CD-8420-B52741DA9210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676146e2ae2837b6be73c686bb147b36e5846467","datavalue":{"value":{"entity-type":"item","numeric-id":3783634,"id":"Q3783634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fcbe6cb6b8e1052122ee46c78b60eb2a9ebdd75","datavalue":{"value":{"amount":"+0.8019195199012756","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":"Q3765262$C5CF90C6-8140-4E5D-830B-0BD725FD8BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ba9909c9f5b407e9f494fc31ac7439d3f182fb","datavalue":{"value":{"entity-type":"item","numeric-id":4275685,"id":"Q4275685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1454db4d1a092adc1046f63af1f47f8a67b2115f","datavalue":{"value":{"amount":"+0.7951419353485107","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":"Q3765262$C08E10AB-FEBC-49D1-9028-8EA273CFB0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c2154728f188492f442d9ed67819cba6c02e364","datavalue":{"value":{"entity-type":"item","numeric-id":4692931,"id":"Q4692931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6e9b45fb9e7cdd8c89bdfa4f5833c00100b43ba","datavalue":{"value":{"amount":"+0.7926617860794067","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":"Q3765262$1436E5EC-41B2-46DA-AFE8-41CB14F8F11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2157a93edb93fca048044b613bc9e5a6fc981fa","datavalue":{"value":{"entity-type":"item","numeric-id":1354038,"id":"Q1354038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314ca75f0f03ec9752c768154492647391d12a9e","datavalue":{"value":{"amount":"+0.7893633246421814","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":"Q3765262$6E69A34A-E44F-4F3F-B615-E15DFDBD2E82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3765262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3765262"}}}}}