{"entities":{"Q4521285":{"pageid":6550878,"ns":120,"title":"Item:Q4521285","lastrevid":97171655,"modified":"2026-06-05T13:29:58Z","type":"item","id":"Q4521285","labels":{"en":{"language":"en","value":"Generating hard tautologies using predicate logic and the symmetric group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1545320"}},"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":"Q4521285$42FDE06D-75E4-4118-B656-A7286A08C06A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b497ecbbc0c55e5078f226a3a51788ef3616a731","datavalue":{"value":{"text":"Generating hard tautologies using predicate logic and the symmetric group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4521285$146DCD77-6C15-4F03-8EFA-CF4A81AAFEEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"120821781bb3d9943cdddebc4bba32eddd2b08c7","datavalue":{"value":"0967.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521285$9D2B55EA-CABA-45A4-BF12-752BA1D261C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b988aafc908ad0705db140a886cbabb24b606a94","datavalue":{"value":{"entity-type":"item","numeric-id":195146,"id":"Q195146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4521285$99396AA3-CDFE-449C-97A8-7365F1A8544E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daf32bd407f58f20c522a6514c12e34343286e83","datavalue":{"value":{"entity-type":"item","numeric-id":162943,"id":"Q162943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4521285$1AC05F4E-77C3-464D-A4E4-BE68A228B787","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cab350fec2640d23353b9d957c48eec19a2e6ac4","datavalue":{"value":{"time":"+2001-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4521285$72339B20-4AF8-4E63-BBDC-1682C0B8F838","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"764bda32e076debe348f8da372607631553e56bb","datavalue":{"value":"https://semanticscholar.org/paper/7c7d7f80eff0e13062d200da59f1e38f2de65f08","type":"string"},"datatype":"url"},"type":"statement","id":"Q4521285$06331EE3-5A77-461A-957A-8155987382A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521285$49E3A19C-3C6D-4B6A-B41A-F1DFED66C810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521285$8544F4CD-2AAC-498A-ABED-5070C90BB16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521285$0A0098B9-E426-437E-9AE0-87B1B5BB3ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521285$FF920157-98BD-4FE0-A614-B084DFD7251F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79210db9dad47601b3d6938c2a691b1bd50c75ca","datavalue":{"value":"1545320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521285$2AAEC6ED-0D76-4174-BF9C-8C7D62C85715","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521285$9CD600D3-747F-40B9-BE4C-82A050AB34C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521285$6D311E22-DC6A-45F5-898C-D5471B45B2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521285$C35C05E9-9429-4F8F-951C-D6A1AEC8E116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b61d634047befbfcf9c47c178e3dc1e179ecaa47","datavalue":{"value":"hard propositional tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521285$68B1C91E-3B0A-4B7D-8241-8363F367A89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2869cf54490c2e836b54ec30338d10257e7af972","datavalue":{"value":"symmetric permutation group","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521285$508B63C1-B2FF-4EE1-AA0C-2D34B5721C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e5c986c44cadba2608d15cdbdbd7fbd9525b6f9","datavalue":{"value":"propositional proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521285$EBC4E95B-2381-40E7-8BE9-D900648156AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beacc345177607df4ab1f59f0170626c9d1a1d90","datavalue":{"value":"propositional proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521285$C5106116-929C-4829-BEF8-F9E18970D195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c78e8a8f22903070df62a1aa9de25f2789b5679b","datavalue":{"value":"second-order existential sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4521285$38A018CB-F7DC-4F66-B501-C21526FDBD3F","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":"Q4521285$A594FE7C-9388-4452-8260-DFB9B7B0F73E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55f04a3ce6ab39bf4c3d2d2828d03e2c39f0b16e","datavalue":{"value":"W2051226232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521285$DBBF64A8-6007-4CB5-BD4D-1C2ABF219E83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cf90bd8375ecdd2fe677c63412f340f58bb8914","datavalue":{"value":"10.1093/JIGPAL/8.6.787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4521285$4E592E24-8507-4188-A27E-8BCC47B6CC20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4521285$D1B9FCD3-1A3A-4197-81E9-D6FA2F8C69FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"570af33c65e718ba3100773cbecfd2b03fd090b4","datavalue":{"value":{"entity-type":"item","numeric-id":4501542,"id":"Q4501542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab743e37d37b5b8c67f9135bcf067f8bd3a967fd","datavalue":{"value":{"amount":"+0.779050350189209","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":"Q4521285$D2FF0845-0174-4407-BFDE-34B2C07DB3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dcc53cc0dc881f2942b08c149ce9f9f581dacab","datavalue":{"value":{"entity-type":"item","numeric-id":5402611,"id":"Q5402611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e304df61d4032c978b3728a41ba59f59d95e04","datavalue":{"value":{"amount":"+0.7547563910484314","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":"Q4521285$29B16D3B-F3E9-4F92-ACBA-2A22E387C2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92979ab8e0586da2f4576edf8877ec60b7924fc4","datavalue":{"value":{"entity-type":"item","numeric-id":4375783,"id":"Q4375783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e5a9f8c377d4ba464fd2b06de75a774611e4bbb","datavalue":{"value":{"amount":"+0.7374305129051208","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":"Q4521285$2773FF68-8A58-4D27-8A9C-7F0B80957F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f03c1d93cd7c12c6f2fcecfc88f43c6f39355fa1","datavalue":{"value":{"entity-type":"item","numeric-id":2736584,"id":"Q2736584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c14e29ca9bf28e6ebdc41cb6b0965c33ee37944","datavalue":{"value":{"amount":"+0.7259485721588135","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":"Q4521285$2B84AFA4-0CB0-4BB9-82E0-0D5F4C4FF83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a13204615f85c9fa4953a0f158a78851a47c05","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c14e29ca9bf28e6ebdc41cb6b0965c33ee37944","datavalue":{"value":{"amount":"+0.7259485721588135","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":"Q4521285$AF7008B0-78FA-4EB8-B857-0A96AED84058","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating hard tautologies using predicate logic and the symmetric group","badges":[]}}}}}