{"entities":{"Q3204457":{"pageid":3215165,"ns":120,"title":"Item:Q3204457","lastrevid":49450426,"modified":"2026-01-07T04:32:58Z","type":"item","id":"Q3204457","labels":{"en":{"language":"en","value":"The Neat Embedding Problem and the Number of Variables Required in Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4181327"}},"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":"Q3204457$0E8DE399-00B4-437A-B409-1791544BB3E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f045d582e471ea75c139c14221692fe9ab4bc73","datavalue":{"value":"0717.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204457$588CF277-677E-4CA3-A39F-E8C9D44342A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9012d13e62021b7f6dbe8aa3038ae191ca9eeb3","datavalue":{"value":"10.2307/2048497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204457$F30A4987-81DD-4430-85D6-DEA9D398C430","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af6fbdd6806d9cebab7dba33d5ba34c31f95c481","datavalue":{"value":{"entity-type":"item","numeric-id":406454,"id":"Q406454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204457$CC2630E4-CCCB-4C1D-B342-9C5E18DAA10C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q3204457$8FF4382B-4BCD-4AF8-9ABF-53CDB908C36D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204457$6928BF08-ED3D-46F2-8AF8-D1847AE19F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204457$13DC6720-C381-4B55-A027-D05B80120EC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7eb3917bae19984979300b63a7a5aa166a877fe0","datavalue":{"value":"4181327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204457$AEE733D2-3CA2-4935-86D3-564A8866C5FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a17b5642894ff00bf81f213262aeb594481df5","datavalue":{"value":"neat embedding problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204457$8117E47C-292F-4269-8E79-C810770F62AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204457$D0631158-10B6-4BAF-A502-016E90DC10C1","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":"Q3204457$1A247B14-6328-491D-9C7A-37DA317C8530","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9579a445c80601a506824df83d8ac56f69581a4","datavalue":{"value":"https://doi.org/10.2307/2048497","type":"string"},"datatype":"url"},"type":"statement","id":"Q3204457$A1154A0A-903F-4074-BACA-8A017DF0A4FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01f2a894248ee39496447b0c3429919fbfe0db33","datavalue":{"value":"W4256624314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204457$B6CECAA4-2EBC-4460-85FA-9EDE30ABC7AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1652d28d46de9f86d4305964d0d6c3f12451aa54","datavalue":{"value":{"text":"The Neat Embedding Problem and the Number of Variables Required in Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3204457$C5EE5FDF-3C56-4974-82E6-36ABEB4CFECD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b42a0e5236ff218c3419ca113c6c55d3e5955eb","datavalue":{"value":{"entity-type":"item","numeric-id":1064325,"id":"Q1064325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204457$A1D91C0F-54F8-494E-94EF-F6AADB21FB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102e38016609e661e0945a30e5f58a9984c36801","datavalue":{"value":{"entity-type":"item","numeric-id":5571689,"id":"Q5571689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204457$A477DB63-9D85-4121-9C36-1E75E40EAAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126de90821be28cb2e987d414e00b8309a2c31a3","datavalue":{"value":{"entity-type":"item","numeric-id":1249576,"id":"Q1249576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204457$C16654FD-A587-4C5F-A906-AD2CE5AB5714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1f3780260302945db0add04411654a1503c3a4","datavalue":{"value":{"entity-type":"item","numeric-id":3661577,"id":"Q3661577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204457$D7E2AD2D-26C9-421E-AC73-E53EC3B09D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62a7ee57a756d9c692750076403c6b2fb06447b","datavalue":{"value":{"entity-type":"item","numeric-id":4204149,"id":"Q4204149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204457$8F0A63CD-28DB-48A5-8604-5AE35795443A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c324f2a3068028cb7eaaec522099dce3e3c5e36c","datavalue":{"value":{"entity-type":"item","numeric-id":5571688,"id":"Q5571688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204457$EDAE6B6E-3DCC-4E86-A1B5-09D24A469C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9236cd901056ab92a6655e0f0199f4cdb45c8ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5619082,"id":"Q5619082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204457$324963AB-0944-4F9E-8EA4-BD12EA98D91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204457$E3D91CDB-1004-400C-BE5A-37EBDB5C06FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc56002e2932d637a3c0941ad474153d6071453a","datavalue":{"value":{"entity-type":"item","numeric-id":4532609,"id":"Q4532609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58af8b357fb2da1b537e80ba137d4b27152f1003","datavalue":{"value":{"amount":"+0.8292742967605591","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":"Q3204457$AF2280A0-D65D-4EB5-B1C3-D6DF44E8FDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebc9a166428cc7afc81fcddbc61d4b7d4b5232e3","datavalue":{"value":{"entity-type":"item","numeric-id":4779634,"id":"Q4779634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6880cd483aa99b4a7ad018782c4404e70a30b5d8","datavalue":{"value":{"amount":"+0.7806494235992432","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":"Q3204457$1ED6E7D2-5B64-48E5-BCD5-14CF4EC8ABCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b32bdb7d35f672690a1b9b5518703c1ed4d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":558739,"id":"Q558739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e61d6b099809d6782b8f4b67ffb6fbf76fa06741","datavalue":{"value":{"amount":"+0.7781348824501038","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":"Q3204457$59F9C0D5-6F4B-4FA7-A7B5-C66C62A8E741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2ab65e66c27113dac946f292e010f14dbd752f1","datavalue":{"value":{"entity-type":"item","numeric-id":4204149,"id":"Q4204149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46ae35600b15b6113a4dde854e3007150093f90a","datavalue":{"value":{"amount":"+0.7426704168319702","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":"Q3204457$F5245F13-DE25-42EB-8098-47AAE1BD4EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5127637ec469bb4b8c9dca4058387402a3c7e0d","datavalue":{"value":{"entity-type":"item","numeric-id":2921030,"id":"Q2921030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c9ecf2e6ee31a1e0191524fe812e3694dfc6a2c","datavalue":{"value":{"amount":"+0.7271188497543335","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":"Q3204457$ABFCA2A8-3D37-4ED0-8035-B67361A63CAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3204457","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3204457"}}}}}