{"entities":{"Q3996992":{"pageid":6026825,"ns":120,"title":"Item:Q3996992","lastrevid":55132345,"modified":"2026-02-03T23:29:38Z","type":"item","id":"Q3996992","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 46836"}},"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":"Q3996992$BFEAB87C-B17F-4F19-83CE-42D33186E9A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7884540d23efa3ad6891aab840b722765eb3bfd8","datavalue":{"value":"0744.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3996992$B713BF06-FCAA-445A-A4DD-1F3AE2E34A43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bb3274dd9abf7661a97b8e7cebf45423a51a37e","datavalue":{"value":{"entity-type":"item","numeric-id":3049804,"id":"Q3049804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3996992$7534E47B-91D1-4C9F-AD6A-4277986E0FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"471ce28424fdd5fed7ef7e5ccff111f1191fc7a2","datavalue":{"value":{"entity-type":"item","numeric-id":3996991,"id":"Q3996991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3996992$19E137CA-9F78-4D5A-B2B9-1DCC3C3BD015","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7883d6b4a608e309b16b988a97013f465b2e60b3","datavalue":{"value":{"time":"+1992-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3996992$32A5E977-7343-4A24-AC24-5871045C4E2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3996992$41D472EA-E261-4B25-8458-3421D6FA95B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3996992$25BDDAC6-9BBE-4C88-BD87-C5D2F1FE4E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3996992$416637B5-0DA7-4BB5-9BFC-9893D27CBFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3996992$A8E303A7-A256-4D0C-9233-20F67689CDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3996992$0E516A9F-63F2-4047-9006-6DC613D74067","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2152512730b5239ca7042cfe330af81fedb04d67","datavalue":{"value":"46836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3996992$4734E520-85ED-4D7C-9BDC-2AD1BD9B04F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3996992$E53E7FE1-C80E-41CF-8C45-E68663356395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8badee260fdceae5b5b50b808c58497a44c4d05","datavalue":{"value":"program structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3996992$DD30ED83-B8F6-44EA-9983-1C5ADC9A43C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae738b4e5bfc4058a7d249243e2032ea14dd6663","datavalue":{"value":"resolution methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3996992$1DE96678-BA8F-408F-A71B-BCA5F76BF649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3996992$1633261A-28F7-4F78-B552-A02E3927038C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61357657bf874e08c6639092dc1d7f3a7701446b","datavalue":{"value":"expert systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3996992$09BCEBB0-2E58-4456-B678-EDEFC7EDF9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9a7051a28ad36e5100a07c69eff07a493c97a69","datavalue":{"value":"LISP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3996992$76B10B59-79ED-4B4B-A79C-88C706E816D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3996992$9FBD97F2-3D6A-46E0-9F30-F352844B2C25","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":"Q3996992$7CADFC8C-E9DC-484F-B5DF-D562569AFCE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7a35dda6eb6eb5d09949d72f6b21ad5c460d2c","datavalue":{"value":{"entity-type":"item","numeric-id":5754228,"id":"Q5754228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b2f3e78864f7bea4ae00add6a94835870840c6","datavalue":{"value":{"amount":"+0.8189672231674194","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":"Q3996992$A32EBFE0-D8BD-4869-8078-97BF6D4D544B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a5be4ce6aeadb7f743c0625f17259370d718c6f","datavalue":{"value":{"entity-type":"item","numeric-id":3994937,"id":"Q3994937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c391733fda885d789ec74f97ea68d3a02847c7a","datavalue":{"value":{"amount":"+0.7917881608009338","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":"Q3996992$BEB54C0B-E791-4EE0-86D3-FCA01274BD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b94415f535b9f2187da85b2108087aec97d730e","datavalue":{"value":{"entity-type":"item","numeric-id":3742757,"id":"Q3742757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c379e8affc4ca9ff36d4aee4f4b780525eae67a1","datavalue":{"value":{"amount":"+0.7732497453689575","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":"Q3996992$69A9257A-C5DC-4083-A9C9-B3FB8CC2C025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baaac105e281fbdb36e2cd04cd0ace6a39fbb7bc","datavalue":{"value":{"entity-type":"item","numeric-id":4843187,"id":"Q4843187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f017fdeee262359e53b6bd0d82b87cc22accfc75","datavalue":{"value":{"amount":"+0.7691367864608765","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":"Q3996992$86B50BEA-AA36-4F61-AB3C-C34C1D2CA76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2408513b78023b49029d686eb935be4f3b354a84","datavalue":{"value":{"entity-type":"item","numeric-id":2970758,"id":"Q2970758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac85a819433c02c670bf9476f24f4bcd2d236a5e","datavalue":{"value":{"amount":"+0.7685917615890503","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":"Q3996992$96364EFE-B7CE-4E64-8822-61B259AF39E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3996992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3996992"}}}}}