{"entities":{"Q4692514":{"pageid":6722091,"ns":120,"title":"Item:Q4692514","lastrevid":47165170,"modified":"2025-12-31T21:29:48Z","type":"item","id":"Q4692514","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 194550"}},"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":"Q4692514$70DBBE03-6D95-4061-A62B-A6E2DAC65FB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d41121b3241d8b22bd5ba4a769bbe3f10789a870","datavalue":{"value":"0715.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692514$11D5E60F-B5C2-4C78-AF46-9C0F57ABACDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"beb5106ba49154afabb9f9946542b2d455346f8a","datavalue":{"value":{"entity-type":"item","numeric-id":1102217,"id":"Q1102217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4692514$1DA66BD7-5A73-4165-AD71-3E8827163F81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4692514$43623AF0-3F03-41A6-8D1B-4CB867292BB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692514$1E156899-D92B-4CFC-86A4-2960EB02CA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692514$00397FFE-7079-4DC0-81FA-7856CF4C2688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692514$B410A6E1-6329-4539-998B-027C2E2D18AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692514$F2C49CEB-341D-4EC1-AEFB-E9AF2E6A4C3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1ea4f6322c0dc6be8204104d38e1854619cc070","datavalue":{"value":"194550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4692514$53F81848-2860-4D1C-81F8-2841424C5208","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70bfcd2d6ed1c74a7130aecdc9c4c79f26d2dc22","datavalue":{"value":"automatic universal generalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692514$1F1F52F1-6199-4483-B962-3F8BF9A9C834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692514$57F069D0-20CE-4111-AD0A-92BFDF70ABD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302b470cf1b247ff45fedb92a899c1819b8fc1fd","datavalue":{"value":"object oriented deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692514$222FDB90-5D22-4278-9D6A-B2041F457597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a22baecdd908001bf90a1907388630ec84b06505","datavalue":{"value":"Boolean constraint propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692514$A0FCD359-9FA7-40C7-A7E5-D39990A41BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f840ce5119480b895ac664a10de6f0a19316ae","datavalue":{"value":"congruence closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692514$524EB607-1396-458E-9E35-EBC5532FFF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a22c4b99c91b52e4f653b4b86a7e58114f5167b1","datavalue":{"value":"focused binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4692514$DDB21F9D-05EB-43BC-A199-13FE60FBC343","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":"Q4692514$10FC4911-6C23-4558-B4E1-686AB029FDBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65709ce4df35d1b0d6bf16ccb0a670e2b833ee56","datavalue":{"value":{"entity-type":"item","numeric-id":4303124,"id":"Q4303124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f25d1116dc1469cfbf206fbda4ebf667064b685c","datavalue":{"value":{"amount":"+0.7375468015670776","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":"Q4692514$ECA8D23B-7DEC-4A50-946F-B9BE6FA98895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b822606285ce070526363a622a7dc5d21e1e548","datavalue":{"value":{"entity-type":"item","numeric-id":4331757,"id":"Q4331757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5390cda5b65e63693995ff15e44337a6b0853858","datavalue":{"value":{"amount":"+0.735998809337616","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":"Q4692514$C6C25732-825E-48ED-93A8-0F317EFF1712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03883927d6d0e525f659609548447e11342cdb3","datavalue":{"value":{"entity-type":"item","numeric-id":4471536,"id":"Q4471536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef4357fd4c058d3ee73aa53ac7952a372a3fd09","datavalue":{"value":{"amount":"+0.6748149394989014","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":"Q4692514$93901A9D-1762-4201-83EA-5EE6C0DA2C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f36ea059eea4db31aed53427606cc375726cc02a","datavalue":{"value":{"entity-type":"item","numeric-id":5424880,"id":"Q5424880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeb47239e03d59eccc737aa4c13bfabdf3b9dc71","datavalue":{"value":{"amount":"+0.673815906047821","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":"Q4692514$9D28FDF3-0F3E-494B-954F-AF13703872B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ba54cb53fe5db318dbf77cbd6fbb9f3ffe5116","datavalue":{"value":{"entity-type":"item","numeric-id":3793762,"id":"Q3793762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c1ab71e21de0d0b04f19269c607e5e67ca5de1","datavalue":{"value":{"amount":"+0.6737385988235474","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":"Q4692514$E5D28EEF-E58B-4FA7-8C28-8B5D41E45B2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4692514","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4692514"}}}}}