{"entities":{"Q692919":{"pageid":694768,"ns":120,"title":"Item:Q692919","lastrevid":63546306,"modified":"2026-04-11T13:54:04Z","type":"item","id":"Q692919","labels":{"en":{"language":"en","value":"On the expression complexity of equivalence and isomorphism of primitive positive formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6113538"}},"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":"Q692919$77CB1290-1B6D-4554-B90E-E10C3671CFA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3719a904549bd0d52d4c170886361191556781f1","datavalue":{"value":{"text":"On the expression complexity of equivalence and isomorphism of primitive positive formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q692919$1ACF508D-57D7-43B4-8C1B-FDBC47DEE77F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acb2a767be94b6f710f790f64239ba72ccef8e9b","datavalue":{"value":"1288.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692919$DA26576F-E062-4FCA-B005-E07BE3BE7B64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9882aae56ec8a5b8665d15f346fe4d402963b39","datavalue":{"value":{"entity-type":"item","numeric-id":473195,"id":"Q473195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$7787D904-FDC5-4F59-87B3-D95140347968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de68fabe0331b50e2c0babeac4b29f27d03cc1ad","datavalue":{"value":{"entity-type":"item","numeric-id":361801,"id":"Q361801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$9C12C3F1-C0F4-4CA9-9991-C8551B10A140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14ec3a184ee9128fb8bc3f92d474dabf7539704d","datavalue":{"value":{"entity-type":"item","numeric-id":1001910,"id":"Q1001910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$F0B6A36B-1F43-4AA1-A3A1-03AF5AE86F12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$61ADDB04-E066-4FDF-8FE4-D4FAE6B7AC54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dff58ac691764932e2d1883ecce372141126289a","datavalue":{"value":{"time":"+2012-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q692919$C736215A-605F-465D-9D33-6FA70B7DE44E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98218390f9468471b4fff007256e92b00f1955e2","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2010/2369/","type":"string"},"datatype":"url"},"type":"statement","id":"Q692919$7191F80A-A5A9-4BEA-8B9E-C0F00CBB431D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692919$5949ABA8-9550-47BE-819D-563FCFAC9E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692919$D2ECD26C-906C-412E-8B8C-5A38367485BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692919$E16B650D-176F-4FFC-9CF5-E5D43E8D6182","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17713f29729bd3875295bac3a3c761b98f3f6c54","datavalue":{"value":"6113538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692919$101E16FC-4E2A-471B-B790-9A36C6B82FE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45fe81774f27c5118634adf8df5454db30f2dba0","datavalue":{"value":"primitive positive formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q692919$6C419CD7-FB0A-45DE-9607-08E947631BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q692919$D3558491-6736-41E7-921B-A17241959872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec3505d4a1a47ba6779c1bc97acbae985df00be0","datavalue":{"value":"isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q692919$C78051EE-AE00-403B-84D4-51F00D6846EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q692919$0365450D-9063-43A8-B5EC-50CE23769DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d32b0bcc7bb39c92b92984e1db79a0a14ddfb744","datavalue":{"value":"clones","type":"string"},"datatype":"string"},"type":"statement","id":"Q692919$EC2103FC-5895-46C6-B4FF-A232203584F8","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":"Q692919$52CDB844-9E2C-4C28-9010-8A0567D6099A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8324d851a14c32e17f1efb22ccbb0aa0f01bc6c2","datavalue":{"value":"W2032976034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692919$FF745CAC-D218-48B5-B675-8CB4777C8B03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50eead26665bf4327dc2785d2f3dfe4f076dc20d","datavalue":{"value":{"entity-type":"item","numeric-id":4507381,"id":"Q4507381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$FB90326A-6E3E-487C-87FB-CD6EA9F8944C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e8eb4b0f2c70412be4c5592e53df8fc7e5f32eb","datavalue":{"value":{"entity-type":"item","numeric-id":5492848,"id":"Q5492848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$4A066501-3B05-4EB2-9C28-AC8B1A80B87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64d59239ff1941d4d697e5e929c760bcb29102a9","datavalue":{"value":{"entity-type":"item","numeric-id":1015812,"id":"Q1015812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$65DBEFA2-ECBA-4824-BEA2-D7A1FDDF20F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c75a07ebfc889b1a22666d38d081c295bcc5862","datavalue":{"value":{"entity-type":"item","numeric-id":870265,"id":"Q870265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$16C248C2-3D85-4EA1-AA6A-FA06EA69825B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9c0297ccc7943530d7e60dae41b7cff33d7166","datavalue":{"value":{"entity-type":"item","numeric-id":1106840,"id":"Q1106840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$6F9119B6-93E5-4414-ACA8-86D056E7F06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf495049c97efeee8513ace897fd2d3339f6dfa","datavalue":{"value":{"entity-type":"item","numeric-id":3550542,"id":"Q3550542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$D9049F1F-47C5-4E90-A454-97A453CE4234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a96965e4b24de2b00663d74df6a735a9ed88bcae","datavalue":{"value":{"entity-type":"item","numeric-id":5613923,"id":"Q5613923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$18B4E25C-ABDC-4015-932E-59E77AD0CC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d364c3fa5e978edfafe2a4d3f3ef4f4a382763","datavalue":{"value":{"entity-type":"item","numeric-id":4411838,"id":"Q4411838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$3C4DCF3C-DC59-461B-A6A2-4FA7767D4C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58066e7e86c14e2bc763310729634512f578839a","datavalue":{"value":{"entity-type":"item","numeric-id":5309697,"id":"Q5309697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$FD6E0100-FED5-4A5A-B271-83584B3677C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4b8e7cf4034c184fb2852754739a22a4e70036","datavalue":{"value":{"entity-type":"item","numeric-id":1108004,"id":"Q1108004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$0D27F107-6CCC-4244-A879-031143C50A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d9d5f067eb958341991b2ee01dc0caab581f808","datavalue":{"value":{"entity-type":"item","numeric-id":5317171,"id":"Q5317171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$41F43CD2-6B97-4510-8832-2588EA2BECCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b330a1fcd57ed03b5bb7894b903390953871d98","datavalue":{"value":{"entity-type":"item","numeric-id":2723175,"id":"Q2723175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$A37AC5C2-334D-4B8F-905D-95812773591F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ddbd5ace5579af28195b888b66e44987be3a6e7","datavalue":{"value":{"entity-type":"item","numeric-id":2536623,"id":"Q2536623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$0C926DD7-BB78-4DFA-A83C-7DA9AFED0414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb4c62e6619c90e64a6184568783067da56015e6","datavalue":{"value":{"entity-type":"item","numeric-id":4302852,"id":"Q4302852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$4F30970E-05D1-4A0F-A567-5AD9CFC3B91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e01bd225cc1eaadd4b3b359e2717f21721c442","datavalue":{"value":{"entity-type":"item","numeric-id":4040245,"id":"Q4040245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$D1A95C6B-D49A-43CA-BAE0-8C9EFA1BACC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5648006f68a55609d2d936a24b249973ce22b9c","datavalue":{"value":{"entity-type":"item","numeric-id":5390586,"id":"Q5390586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$0EF5EED1-232E-42DC-BEFD-ACA936FA0921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce20482255e0cc12b9b9d67540465d5e845e2b52","datavalue":{"value":{"entity-type":"item","numeric-id":1274280,"id":"Q1274280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$8D4C6AED-D221-4C16-A336-F2726758951C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1caddd34f077d456b01045d3541e659029d97320","datavalue":{"value":{"entity-type":"item","numeric-id":1591157,"id":"Q1591157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$82B74247-355C-4CC8-91E5-346C48A5961A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2654c1ad3008ab65ddf962a999d4d8045dcdea","datavalue":{"value":{"entity-type":"item","numeric-id":4085242,"id":"Q4085242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$3FE14E6C-6F7D-4BDE-8CFF-318651CBC536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca78002dcebbe568a6f1d4cfe070a6f048fc91ff","datavalue":{"value":{"entity-type":"item","numeric-id":1014634,"id":"Q1014634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$66DD7B0F-C40D-4BF1-893E-F185DA3490FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45cb907e8f0b6bf3ba32381eb5e885a3a0305b3","datavalue":{"value":{"entity-type":"item","numeric-id":2575758,"id":"Q2575758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$8559F2CB-B88E-4379-A367-B24E0B92F0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$81C1F5F4-A2F5-4792-872F-22A5D1239B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1d6b5aa38dd1fc479e0f8c62d4e3ebbc8f8fe02","datavalue":{"value":{"entity-type":"item","numeric-id":1307689,"id":"Q1307689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$3DDECF13-FABF-4238-AE64-DCF705DDF904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$189F83A2-78AE-4E71-9D2C-D7C8984E8E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd8100d1525f7a28bc1ae7f41159ad59bc1903b","datavalue":{"value":{"entity-type":"item","numeric-id":1116696,"id":"Q1116696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$C05A7336-31F3-4CC1-BA6A-5633AFF0EDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c73a99d019745eca01f9c351ef4ff2f085e9e8","datavalue":{"value":{"entity-type":"item","numeric-id":3739181,"id":"Q3739181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$67BC9011-B8C6-4174-ABAA-2A55223A5B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8596d32ed16196c57e90e79318bca8252bbba7ef","datavalue":{"value":{"entity-type":"item","numeric-id":4029637,"id":"Q4029637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$DE317C6D-A7FB-4BAD-A46E-F67F116B06AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35e35315e9697fb8e3043167394b9b7d8ecb78d","datavalue":{"value":{"entity-type":"item","numeric-id":4651507,"id":"Q4651507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$6871643B-2557-4C85-87B6-1884CA3414CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05a3e93660033bf11976fda320fa74425d428ec","datavalue":{"value":{"entity-type":"item","numeric-id":3624540,"id":"Q3624540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692919$A128908E-9C79-4C1F-965D-69319C833C51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a03cdc6b82131461c5c472a35def64cf4acbdf18","datavalue":{"value":"10.1007/S00224-010-9302-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692919$F4986A8F-75B4-4097-B768-42FAEB4CF45C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"298d38efe2192c3643db017d49650976947fe94c","datavalue":{"value":{"entity-type":"item","numeric-id":2282762,"id":"Q2282762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ab202a62612d4b3688d67664c0963d048c64628","datavalue":{"value":{"amount":"+0.8720570206642151","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":"Q692919$110B052B-D18C-4E22-B7D5-8DF08C643B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf4fdfae046558a1524910a4a5109a858b1c6b0","datavalue":{"value":{"entity-type":"item","numeric-id":5431351,"id":"Q5431351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbf2ca2ee319c52f3355cc89ea1554e8ada87230","datavalue":{"value":{"amount":"+0.7766385078430176","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":"Q692919$6B48CC6A-2532-4193-801F-8F65D111E2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b9c51466f86d8072c90f3f2dd86db0dca6db2f","datavalue":{"value":{"entity-type":"item","numeric-id":5407040,"id":"Q5407040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73562f15b1f6fde54f55444343b3ac1297c1d270","datavalue":{"value":{"amount":"+0.75257807970047","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":"Q692919$DB3E25D3-EA8A-4564-AC21-065D3DB6F7D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the expression complexity of equivalence and isomorphism of primitive positive formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_expression_complexity_of_equivalence_and_isomorphism_of_primitive_positive_formulas"}}}}}