{"entities":{"Q920968":{"pageid":922816,"ns":120,"title":"Item:Q920968","lastrevid":65361234,"modified":"2026-04-12T02:03:53Z","type":"item","id":"Q920968","labels":{"en":{"language":"en","value":"Un-Skolemizing clause sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164798"}},"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":"Q920968$A7624161-ECF5-459A-950F-E9E7B983A3CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41df0a12eb7b134ce7f32dee985a345c595f0f36","datavalue":{"value":{"text":"Un-Skolemizing clause sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q920968$412C3A00-015E-498B-B6EC-6CF64FA6CE36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fbb8019051cc76f5d2e8b2dd0a36125c9c33d77","datavalue":{"value":"0709.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920968$980556E4-244C-45F8-B927-854366225A45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f0a0fef97c2c57affe49b09ca33814358648fce","datavalue":{"value":"10.1016/0020-0190(88)90119-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920968$9004D525-9EAE-4A0A-B8CA-3A3D229B21D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e0028fa115cfaf177650f352dee75f3c9756682","datavalue":{"value":{"entity-type":"item","numeric-id":688545,"id":"Q688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920968$28B166E4-132F-4A49-A283-68744A4847DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920968$71A17F09-0616-43A5-9179-EA66DE9609EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q920968$2E70DBCD-75DF-4759-89E1-F4E8208DD561","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920968$C862BB28-B47E-44EA-BEC5-72ECC6AD5190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920968$6292D867-A210-4724-AE4A-66206C90AA6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0fa51b1b9a5c900f5d9ab25b878540528da485e","datavalue":{"value":"4164798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920968$36056900-329E-4443-91D9-958E2DE5075A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af82f964286631926ef7240abc8d43981a55ecb3","datavalue":{"value":"quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q920968$3700A47B-7938-4E65-8AC3-CA004E86E0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q920968$59314FB4-7AC1-4F07-B0F8-8CCC9B8C4587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9d8b76df44141e8741d28035b2c222e36f57df6","datavalue":{"value":"clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q920968$55BC8A16-378B-4AAE-9C0A-458C0EF19B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q920968$0176E756-7611-425C-8C05-2628ECFEE130","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":"Q920968$F1933FFD-CB45-4EA4-97B1-83BB843873F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"800660178bf8515fd882d792d62dbdffc345c873","datavalue":{"value":"https://doi.org/10.1016/0020-0190(88)90119-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q920968$D531214C-5585-402C-A74F-216AB04A3275","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f7a6479838148915314f9cc26a70d8cf8e12709","datavalue":{"value":"W2085711600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920968$FDDB3F46-B4DC-4203-9AE2-27A639401FEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920968$C57051B6-44B8-4A98-AC8D-6A1FB58EFA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"715a321cfec84df9fa9f2ee50c176f70cf073ba7","datavalue":{"value":{"entity-type":"item","numeric-id":1059063,"id":"Q1059063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920968$CC8ADEE1-9545-4528-B57C-8B212CA25A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d763c7e8290a5cd6e50548716b378f22c4aa37","datavalue":{"value":{"entity-type":"item","numeric-id":2547494,"id":"Q2547494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920968$3D70E65F-FE42-4F5E-BFF0-DAFB5C754B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9de0ea14907692de31b556ad41051a9eec0d19f","datavalue":{"value":{"entity-type":"item","numeric-id":3833655,"id":"Q3833655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920968$0F513CB5-6E0D-45E0-9103-5D6226F71E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aefcbbb48c9809b0ea99532e8c981cd3b1e3ae5","datavalue":{"value":{"entity-type":"item","numeric-id":1101259,"id":"Q1101259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920968$9627E754-84B6-4AB2-9E22-C6CAEE88D9A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1259bbedb4c55fd60919f65ad0722d7401d41ca8","datavalue":{"value":{"entity-type":"item","numeric-id":1380406,"id":"Q1380406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"731efdf2e7aea3bd97d8250d470ce3c951dd9447","datavalue":{"value":{"amount":"+0.7676694393157959","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":"Q920968$7D8CD5F3-9AA7-4FC9-9927-D25FBB454EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cd121ba739a93428cce29ab3f38a949ffa86843","datavalue":{"value":{"entity-type":"item","numeric-id":1100933,"id":"Q1100933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00db8bfb00acb4837382522f89e0558625d72336","datavalue":{"value":{"amount":"+0.7649989724159241","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":"Q920968$71AF3DBE-A8FA-4595-827A-000AAD9EE793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8fad119391ac0650fa8016c1ceba6481f2374b2","datavalue":{"value":{"entity-type":"item","numeric-id":3777987,"id":"Q3777987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aba6f186b004136d05593cac139680952ccb560","datavalue":{"value":{"amount":"+0.7602939605712891","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":"Q920968$F12FB820-179A-44C0-9B8E-5E2930C22CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a5c3460e6db4d8b75e4b4f6bf1b465fb9750ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1059063,"id":"Q1059063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"087c038f5a3563304b198615f4c7c57e3de93491","datavalue":{"value":{"amount":"+0.7574679255485535","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":"Q920968$E737AD2B-819C-4A4D-BC64-7412164FA149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba10201f1c474035b234a2280f385d32e4caccba","datavalue":{"value":{"entity-type":"item","numeric-id":1096608,"id":"Q1096608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4f3f59795d5fac7a93e4a31bd77ff9fe4b9bb37","datavalue":{"value":{"amount":"+0.7417656779289246","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":"Q920968$61BB6299-CB70-444C-9075-8D577D5A5369","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Un-Skolemizing clause sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Un-Skolemizing_clause_sets"}}}}}