{"entities":{"Q1193906":{"pageid":1204655,"ns":120,"title":"Item:Q1193906","lastrevid":66825480,"modified":"2026-04-12T13:06:48Z","type":"item","id":"Q1193906","labels":{"en":{"language":"en","value":"Tseitin's formulas revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65337"}},"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":"Q1193906$B13B17C2-1B28-40AE-9B2F-722D06463324","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c2fae85d667e1625b0dbd75c8b2a6b7db8e5d08","datavalue":{"value":{"text":"Tseitin's formulas revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193906$43F31E82-327A-4CDE-99AD-7BAE1921D8A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b23c69b44647b665fe1c3478b0ce872599cf9896","datavalue":{"value":"0754.05065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193906$F5FF1437-9FF8-498A-95A1-780B6B0478DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a9e0c3e453e297ffd9bb15e9df706a380aa7fca","datavalue":{"value":"10.1016/0304-3975(92)90356-K","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193906$9DCBBA25-2FD0-4B0A-ADAF-9EE170C490CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06d0900ce11338d8d17ad00c0283805ba9833380","datavalue":{"value":{"entity-type":"item","numeric-id":671649,"id":"Q671649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193906$928E3217-C15E-4A18-A360-F7F0C30BF649","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193906$F9A4CD5C-8CD1-4155-A730-92D94558ECDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193906$426F0B50-EC51-45D9-9B1E-C7B08F18DE84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e35cfda1c439de499de525a8a9009114d934bb37","datavalue":{"value":"05C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193906$3CDCD9C6-A76B-48EE-AC7D-4CF08FE497BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193906$D155129C-7F6E-4CC9-A4C9-E5BD608AAFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193906$7C4F6E46-E10F-455A-BFA8-3A35273B8532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193906$73E03227-DE85-464B-85BA-64DA2D715DCC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"717e29f08dc69c1d7bcdff782ff6e7f88051b163","datavalue":{"value":"65337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193906$CC064A90-8294-4AE1-BE31-76220E5C85C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47bd3ed270f7288eb1911b21b0009caf3000b427","datavalue":{"value":"Tseitin's formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193906$635FEDE0-0307-454E-B53B-2707FBDDF979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d39ed5c5a5c82a13dd4654a147703c08c4e0303","datavalue":{"value":"cyclomatic cohesion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193906$A86B6C6F-64FB-4D09-A4A1-A38488C0BDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d0420b75222a860bf1fec5331b86555cf43d1d","datavalue":{"value":"Tseitin's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193906$EE75E7A9-65ED-4CC1-B70E-5B42EF42954E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193906$DE988C2C-91DA-4AAD-8033-F8BF876991DC","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":"Q1193906$ED1F0EFB-AF80-4A60-8B30-7888A3BA1F24","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99504ba038a9691d8d155f018aa15300e8f99d5c","datavalue":{"value":{"entity-type":"item","numeric-id":5617548,"id":"Q5617548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193906$02ECF92F-131C-4375-9FAE-0C0864BC8A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193906$A04B79D4-EB2C-4054-A11E-C14BAFC4090B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193906$97DD64C0-148F-4012-9FE1-A1F40179E187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53159dc769a6552226f87907bd77bb3001252cc8","datavalue":{"value":{"entity-type":"item","numeric-id":671650,"id":"Q671650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193906$27C4F83C-7519-4BAC-AD61-114ABE8B12FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a35cc55e5b10a424a85f3ddcd5c540cf5328ff0d","datavalue":{"value":{"entity-type":"item","numeric-id":1249435,"id":"Q1249435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193906$EADB5B7F-D66A-4CA4-9950-D35287CC55E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193906$18E1D80C-372D-4BC9-A9C8-1CE4FEE64CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193906$B4E6078F-1938-411E-BE41-577E3F165941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193906$FFEB2B57-171F-4B29-AC47-4CD4BD746027","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25967c4d722bbd1647bd16267b634aae48c12ebf","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90356-k","type":"string"},"datatype":"url"},"type":"statement","id":"Q1193906$26C49FAE-155E-4CF2-ADA3-70DA2F023B85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bdb04f61a06d5e8e26d04f8c4c5499c2d4d6329","datavalue":{"value":"W2091111068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193906$EAF180E6-9C0D-4EA3-B971-15B7B579F8EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"647d633f4bac67deaa804e390e32723ea06b684a","datavalue":{"value":{"entity-type":"item","numeric-id":4036560,"id":"Q4036560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9548ca46e9a73da8674fbd312bbadd6941edb3af","datavalue":{"value":{"amount":"+0.9521459341049194","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":"Q1193906$4003079E-2EE4-48EB-9A98-161F0B072ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a81e83bb15280ef3eb461e6946913d06ecf871f","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f0e712c0258b158abd632f140ce99789b596667","datavalue":{"value":{"amount":"+0.9521453380584716","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":"Q1193906$0ADE921E-D33A-462C-9E75-FF89C17A21E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da1a9d458bc8f229bfed84d797ae2f47cef98919","datavalue":{"value":{"entity-type":"item","numeric-id":4928481,"id":"Q4928481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6ef3ef93933ba917eb334e5b110a03f55121f73","datavalue":{"value":{"amount":"+0.8003870248794556","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":"Q1193906$A36121CB-36D7-43ED-A62D-55F38E8B6ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ebf6259745596d5e3c3f1a9d41d24f2a795c3b4","datavalue":{"value":{"entity-type":"item","numeric-id":5881799,"id":"Q5881799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3509c2e0c4b19308e58c1fb2b76dab088f8dab9","datavalue":{"value":{"amount":"+0.7789320945739746","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":"Q1193906$2CD3C2D0-60C8-4981-86CA-51434A3AD3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8361b86ea858c692159e5238a9f0fe78f3c9e3b2","datavalue":{"value":{"entity-type":"item","numeric-id":1983330,"id":"Q1983330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0dc95d20d81c26497ac9118b464f0d491928ad8","datavalue":{"value":{"amount":"+0.7584452629089355","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":"Q1193906$E2288EF4-C6C4-4304-A270-94344ED4C367","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tseitin's formulas revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tseitin%27s_formulas_revisited"}}}}}