{"entities":{"Q926638":{"pageid":928486,"ns":120,"title":"Item:Q926638","lastrevid":65398884,"modified":"2026-04-12T02:19:35Z","type":"item","id":"Q926638","labels":{"en":{"language":"en","value":"Efficient loop-check for KD45 logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5277485"}},"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":"Q926638$FAC2A9D3-5C6D-4FB8-B725-04242EBC6032","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee988e36dcbc62deb74eae2172f050bf27eb8c75","datavalue":{"value":{"text":"Efficient loop-check for KD45 logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q926638$52728750-156B-4E67-86FA-9403817BA6A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c12b5e994be13d3ad7eaeff3bc91e3b3a70669c6","datavalue":{"value":"1169.68611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q926638$77FA7620-A20E-4989-A50C-BBC3683CA96E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2567ab1cb18b4c003c1b2bc9c7757f1b5382bb67","datavalue":{"value":{"entity-type":"item","numeric-id":926637,"id":"Q926637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926638$2C43FD81-6EC8-4B24-9532-65E544DFD508","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6eae2a8f4ab11bae8edce7ff6ed79c3ee5c09211","datavalue":{"value":{"entity-type":"item","numeric-id":90731,"id":"Q90731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926638$DD1F1771-836A-4F0F-AD67-4832380B53F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9210b7f4387a8a6dc8e8fac3d9ed99451b2d14b5","datavalue":{"value":{"time":"+2008-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q926638$FB281B59-F4F2-4986-9D4C-6C07C5D0E905","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q926638$B313E04E-A3CE-4609-B080-9B8C65D0717D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q926638$7BAC966E-A9FF-48F0-BA77-AEB51DA5B475","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5a4290e0ebae9787d5c5554ff28510283c89467","datavalue":{"value":"5277485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q926638$A442BC4C-9379-4659-AE79-FDCA32FCDAC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1afe84dc14cbaf5cbd98c6e27a0a6f198b8f68e6","datavalue":{"value":"BDI logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q926638$0BACDC22-69D3-4164-9B37-850A8AB295AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2fa7a1302b4ec6e5e61d60e2cb750f8078296c4","datavalue":{"value":"loop-check","type":"string"},"datatype":"string"},"type":"statement","id":"Q926638$281C9251-B61D-4770-B9F5-A53766B1E494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q926638$7BEA5531-2CB1-46B1-A819-850C485CCA5D","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":"Q926638$C25B9BF7-15C3-4D66-A603-A8EAF7FAF529","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e5f546ca385998ab53f6fcb0da0a7d5838d2396","datavalue":{"value":"https://doi.org/10.1007/s10986-006-0012-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q926638$F21E7ADD-055C-4DDD-9D60-98281C0757A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fa5affe98d5118a6028a0b1cb829af7f0ca0a72","datavalue":{"value":"W1976652205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q926638$31C5B4C8-C69B-41BA-8BBA-4F98BB46D914","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bda7bf2b683d32fb9bd0a60fb1ebf165437c69","datavalue":{"value":{"entity-type":"item","numeric-id":3832540,"id":"Q3832540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926638$D52DBDBB-F26F-46A6-95B1-88E8A9095170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba024d1a6b0ca9a583a48fb26b370e679ebdb55","datavalue":{"value":{"entity-type":"item","numeric-id":2756785,"id":"Q2756785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926638$07BF3373-FC53-4C3D-A227-5D82420DB4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"935ba208803ddb3e1f8988bb30ed121f92ce0935","datavalue":{"value":{"entity-type":"item","numeric-id":4443210,"id":"Q4443210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q926638$3E8885AB-ABEA-4AFF-A31D-CE7E4E7E02CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c10df5437c75ed7e434a1057f353bbb01afb5e54","datavalue":{"value":"10.1007/S10986-006-0012-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q926638$88E153C7-94DE-423A-9F4B-1B09EA27EA8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1538e9b9440ce734694c2464378531c92a338cd","datavalue":{"value":{"entity-type":"item","numeric-id":946142,"id":"Q946142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f885984fdaa5ddbcd96117f622011264da2f341","datavalue":{"value":{"amount":"+0.8153508901596069","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":"Q926638$E03CE4DA-86DB-4F40-913A-9F6A48F3174D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c3955651279e2a401b87adea661ba11608b3ab","datavalue":{"value":{"entity-type":"item","numeric-id":2811591,"id":"Q2811591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a76b87a52dfad9024486a8603be85bf972412c","datavalue":{"value":{"amount":"+0.8003555536270142","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":"Q926638$A316E6CF-8BFF-4479-9617-2A1230234EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f579d05414dbc5d54ce1dc8f01427985e6a34fcd","datavalue":{"value":{"entity-type":"item","numeric-id":4645239,"id":"Q4645239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b9484345434504a562bf0a9629ae2014c666c6","datavalue":{"value":{"amount":"+0.7886366844177246","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":"Q926638$4D0772B0-3EEE-4CBA-A09E-33D2E333C65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d4e6768b26b01fc524b79567bf638aae3416f34","datavalue":{"value":{"entity-type":"item","numeric-id":2809676,"id":"Q2809676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd30c81a9239277e2f0eefbce35ef1bcd36a9993","datavalue":{"value":{"amount":"+0.7877365350723267","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":"Q926638$6CF15932-5876-4388-9187-6BF8DC6BF960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb2447f9bc9046dc91c4d302dcb89150b41f667","datavalue":{"value":{"entity-type":"item","numeric-id":392998,"id":"Q392998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e63718021799d05c9dfe6d173a6e186f577eac2e","datavalue":{"value":{"amount":"+0.7537124752998352","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":"Q926638$71A31EE6-5AE7-4C79-B13A-7759EDB58CC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient loop-check for KD45 logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_loop-check_for_KD45_logic"}}}}}