{"entities":{"Q4640960":{"pageid":6670541,"ns":120,"title":"Item:Q4640960","lastrevid":53094602,"modified":"2026-01-24T05:17:19Z","type":"item","id":"Q4640960","labels":{"en":{"language":"en","value":"Greedy default logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6874806"}},"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":"Q4640960$20862252-F095-4818-B354-FDDD58BCD131","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c5ef39a91672a9239b23c7d1243edeea9fad452","datavalue":{"value":"1399.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640960$3733D35C-90CE-496D-B885-AFE289318062","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d14ac540f7c83d49a73ef5bfe65cdacdc2884824","datavalue":{"value":{"entity-type":"item","numeric-id":308601,"id":"Q308601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640960$B7579085-FC2D-463F-B590-E1D12CF651A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74246861243ea76a94191f99191ef611bacbf35f","datavalue":{"value":{"entity-type":"item","numeric-id":208306,"id":"Q208306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640960$48AD45EC-1563-4377-90B8-DA1A41BD656C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58a904a9049d828532a30190bcaa55f7b80ed883","datavalue":{"value":{"entity-type":"item","numeric-id":744318,"id":"Q744318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4640960$3A06D10F-750A-46E2-B270-E11BB9BAD616","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"889be0f8e7c5593fd9d724762872dd9608a4e49c","datavalue":{"value":{"time":"+2018-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4640960$54B23C81-6A86-4051-934E-497181242D74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640960$DA33E615-B846-4DA6-A075-00F463E15FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640960$9BFE71D9-54E8-4C57-ADF0-ECA72DF07E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640960$0FF956C9-EB47-4CB4-9381-13749B81C0CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b76f5910dc242b14c7dbd48b9f04edd28160a20","datavalue":{"value":"6874806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640960$97BF7186-9F50-426A-BD36-E0D83AD871F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640960$DE91414F-498A-4277-87D9-58322E4D127B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc1a8fde8f6eb2bfaf5413fc3f9d41911d834d3a","datavalue":{"value":"GD-extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640960$DBDE24E5-CB82-4C23-A52E-FF0628D69234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c1ec0c1d046abe6c81d3a9f98c0b4f2d3b572cc","datavalue":{"value":"pseudo-formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640960$3AE9EBF0-6D3E-41F5-8CB6-2D1A09361A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4640960$5EC4881A-7A9E-4CD5-80C6-31E8E22A84AC","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":"Q4640960$48C93F24-1604-4E5F-8410-447E6C83C44C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4cfbc9bac92ebc9179b246cc890399584841b08","datavalue":{"value":"10.13328/J.CNKI.JOS.005066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4640960$B61DE706-525D-45DE-8EAB-D1D3D4A02F77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ecf989acd6341f439040561b340b719e887516","datavalue":{"value":{"entity-type":"item","numeric-id":4025925,"id":"Q4025925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2767aacab466bb0df5be73483c21619812e4b280","datavalue":{"value":{"amount":"+0.7580123543739319","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":"Q4640960$97FCF65C-F5DE-4BC8-B622-E813AD39E518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"860e74d30220d7474d2597d5de97a4ca67fe7eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1333373,"id":"Q1333373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f79905e888473d94f741d209b6676b29a0af7c9e","datavalue":{"value":{"amount":"+0.7508801221847534","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":"Q4640960$6BDD0EFC-1827-47CD-BDE4-96C378BE29A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e785a970277aaabe8241dff344ec6e3951785f54","datavalue":{"value":{"entity-type":"item","numeric-id":1312967,"id":"Q1312967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8b4d69add4a3a3ad12b5f0b1526b78080dc2df6","datavalue":{"value":{"amount":"+0.7504453659057617","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":"Q4640960$F73C9464-986D-4347-9A78-7D87AC30CE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d2989e3a51f425b6a97617cd32341ef8b62c215","datavalue":{"value":{"entity-type":"item","numeric-id":5425412,"id":"Q5425412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64d5e0ec8710d3c9b2f7a9a2f3136895b300f041","datavalue":{"value":{"amount":"+0.7481363415718079","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":"Q4640960$8CB7D23A-5D9A-4446-893D-C3B79B76423C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6074a9c46a037e3cf1d7f59ebb053c67a35852a6","datavalue":{"value":{"entity-type":"item","numeric-id":3486881,"id":"Q3486881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34bc4a2f11cb2362fe2708eacb90001021f2deb6","datavalue":{"value":{"amount":"+0.7391519546508789","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":"Q4640960$3E283F76-A944-4F3D-BDAE-41E21F509B21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4640960","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4640960"}}}}}