{"entities":{"Q4723703":{"pageid":6753280,"ns":120,"title":"Item:Q4723703","lastrevid":34760705,"modified":"2024-06-17T17:09:05Z","type":"item","id":"Q4723703","labels":{"en":{"language":"en","value":"An algorithm to determine, for any prime <i>p</i>, a polynomial-sized Horn sentence which expresses \u201cThe cardinality is not <i>p</i>\u201d"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995625"}},"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":"Q4723703$F7943BEE-78CC-4103-B1E0-37859A45DBA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6a75b520eae5519186828150b8c5e8e4027671b","datavalue":{"value":{"text":"An algorithm to determine, for any prime <i>p</i>, a polynomial-sized Horn sentence which expresses \u201cThe cardinality is not <i>p</i>\u201d","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4723703$149835BE-51A6-4426-A639-0D79A8E98F7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cd1c9f6139e10b57f4a98e334573dc0874efc3a","datavalue":{"value":"0615.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4723703$D06879FF-E1E5-40EB-B1CD-599DD113A5AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"151f7d91098e559ae5c264384140c5793f241038","datavalue":{"value":"10.2307/2273991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4723703$8E8AB9A3-7182-4740-B0C7-B8F1B3B7D8FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"163bf110d90b8739447195a4b8401b7c262665b3","datavalue":{"value":{"entity-type":"item","numeric-id":793010,"id":"Q793010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4723703$15F0DD07-7413-49FE-8711-3A1870141D9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4723703$B9646AD4-D861-45CB-B56B-57399EE641F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4723703$77E202BC-701A-45D2-BFCC-C936E15B6805","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4723703$ACF641D2-1358-490C-A531-D5CE4417EBE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bf7afb48c7a0bd15aeeceb4c25f5a40e5b8b778","datavalue":{"value":"3995625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4723703$A311F9A0-4D77-4891-A808-E73C4E6FB9DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b170a67b4551d958a863cf3a7d347dabf6bd6bb3","datavalue":{"value":"prime","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723703$56D0E2B8-3E20-4039-9969-51383C29DFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dc34c6721d065338d1cf309ca43540655d290e8","datavalue":{"value":"Horn sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723703$22B17710-854B-4EF0-824A-4F52720ADDEC","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":"Q4723703$F0735510-3FF0-4E59-A8B9-2CA9C1645600","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3d90bc16d5d56e3791354e5cf53cbeff8712f0b","datavalue":{"value":"https://doi.org/10.2307/2273991","type":"string"},"datatype":"url"},"type":"statement","id":"Q4723703$FFCB33FD-404A-4735-A442-10D066F75474","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ba0de38e17be97a6de238ef66515ec4830fb20b","datavalue":{"value":"W1972112689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4723703$A0FA92D8-3192-4B44-A229-7D17EC11407A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"224ddc857a0166cf9bb3f3e5fda763f2aee7f65c","datavalue":{"value":{"entity-type":"item","numeric-id":3703864,"id":"Q3703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4723703$BA440431-6752-4A8A-991B-2F52AF9A0202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f02bf69d4406a8ac58a928284c9b0fa67d2b1fc","datavalue":{"value":{"entity-type":"item","numeric-id":5722254,"id":"Q5722254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4723703$38FC9CC6-12C8-4E30-B02E-22D8A6DA6043","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4723703","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4723703"}}}}}