{"entities":{"Q269710":{"pageid":271477,"ns":120,"title":"Item:Q269710","lastrevid":60530631,"modified":"2026-04-10T17:33:33Z","type":"item","id":"Q269710","labels":{"en":{"language":"en","value":"A note on the size of prenex normal forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6563720"}},"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":"Q269710$A2F5ECD8-9831-4074-BB4C-F5040AEEB6B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73bf64981b41b1684015d7287862434d1d928558","datavalue":{"value":{"text":"A note on the size of prenex normal forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q269710$E68B2662-589F-4BE0-A1DC-DB7B9B69B116","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a23d448b146aca2b526864f632af1c3530612967","datavalue":{"value":"1356.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q269710$33C5F516-2BB1-4DF2-8E6C-94F653AC63C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9711f7fcc55d9ac2fd04f9c2f72987ba25c601d","datavalue":{"value":{"entity-type":"item","numeric-id":269709,"id":"Q269709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269710$19BD68EB-5C7B-4CEA-A1A2-0D861E425687","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":"Q269710$8410CDFE-C984-4C18-BC9B-D84784EDE983","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2710326c5454bd92a60df0935d31488c6019050","datavalue":{"value":{"time":"+2016-04-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":"Q269710$5E34DD85-F592-4548-A863-43593023D747","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q269710$700FFB00-D6AF-4740-8D85-D46AF82A3BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q269710$A907927B-CB7B-490B-B019-12A65216A5E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aff38a3ba28e302504beddbf6d128dbbf2a5a3a2","datavalue":{"value":"6563720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q269710$E42CA8BB-B42D-4EF6-A241-F335F0238ECB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q269710$09910EAA-6719-4F55-B84F-B5427E460FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q269710$FE9556BF-C1CE-4BF1-A0FA-5D9410B80209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6484e7e2f26a93555d13cfb9bf138878591693","datavalue":{"value":"logic in computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q269710$DC81E003-5894-406C-8E40-D37A6A26683A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0834c5cbec2bced2ef8097e537de5d3b16954546","datavalue":{"value":"formula size and succinctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q269710$5F20040A-1A81-495D-A603-9593B639845F","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":"Q269710$DFC29EB3-4FD8-4A38-A7D1-7B9A293570F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d736194ec49a62d86524bc53aa46f5e3d3fce290","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2016.03.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q269710$1A6E98DD-14CF-4A28-A09E-E93A405F78AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"752236407b0c01f61f8285e4ed0ca1db2e48a684","datavalue":{"value":"W2296632414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q269710$39BD66EF-CC32-45A8-8725-BE6DE980A521","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d4798568e2dbc5ed8560c458227a6618d2af06","datavalue":{"value":{"entity-type":"item","numeric-id":1318766,"id":"Q1318766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269710$BD251F00-6C20-408B-9F77-DC5BF86B001A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1630ee5af00db53c3291f37c8e390b1646e4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4298571,"id":"Q4298571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269710$64498EBD-AE02-48B8-95EE-743BBB2322EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269710$4B466A68-6C47-4C4F-A474-BAB3A92DD83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e42c9128d887844233caee1df2a5e2ba33f6baa","datavalue":{"value":{"entity-type":"item","numeric-id":642463,"id":"Q642463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q269710$440E2DA1-1016-4386-936D-EA0FAC4C0B39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f56d6ff213b7b3f63cbc3d4c4dc1e7540e1bf54","datavalue":{"value":"10.1016/J.IPL.2016.03.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q269710$D983F905-9178-4337-A497-144616E50C34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d569a7e4850db5772abb5da0d58567c3b5342f8c","datavalue":{"value":{"entity-type":"item","numeric-id":2751356,"id":"Q2751356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85e681e66624e10fd16adff7430a360a99ccc788","datavalue":{"value":{"amount":"+0.692545473575592","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":"Q269710$0CE72AC5-F618-409B-A906-266D90EC294D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c05ff52b80d6dbfd5dc36ac59d953a7f881a330","datavalue":{"value":{"entity-type":"item","numeric-id":4304753,"id":"Q4304753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85e681e66624e10fd16adff7430a360a99ccc788","datavalue":{"value":{"amount":"+0.692545473575592","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":"Q269710$856A5552-4BED-4B06-8DC5-DC2CEE704740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cdfe7a5d8688cbba72742c63dfd91ccda36fa1b","datavalue":{"value":{"entity-type":"item","numeric-id":4644489,"id":"Q4644489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f75a5d609bb476b25e92219982c8a3df0ece4c2a","datavalue":{"value":{"amount":"+0.6728847622871399","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":"Q269710$F3C2ECE3-CE3B-437F-A2F5-EA29B9670BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621bd73366bd4aad2049fd0a470904c38f69c00d","datavalue":{"value":{"entity-type":"item","numeric-id":3533143,"id":"Q3533143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e05a3d565624d231edc7ca9b42f98d59821cb2","datavalue":{"value":{"amount":"+0.6685544848442078","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":"Q269710$A257D55D-38AB-47D1-906E-71B58D3BCA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b963f770837938292fd7c663a7e83e99a530b7b8","datavalue":{"value":{"entity-type":"item","numeric-id":3789520,"id":"Q3789520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39cb3976e53a5788fca493ea9a817417a426f04d","datavalue":{"value":{"amount":"+0.6684000492095947","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":"Q269710$C9F87378-CB87-45D0-876B-908E0955C6E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the size of prenex normal forms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_the_size_of_prenex_normal_forms"}}}}}