{"entities":{"Q2387435":{"pageid":2398178,"ns":120,"title":"Item:Q2387435","lastrevid":48542533,"modified":"2026-01-05T04:14:46Z","type":"item","id":"Q2387435","labels":{"en":{"language":"en","value":"On the size of maximum renamable Horn sub-CNF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2201777"}},"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":"Q2387435$55156EB3-B4BF-48C2-86AE-1BD8F77B708C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"193bc06a8dbb61e449ddb2fc432ba4b6767d9b52","datavalue":{"value":{"text":"On the size of maximum renamable Horn sub-CNF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2387435$68BD3E20-D5A5-44B1-8F1F-F421A55F22BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2bf09f72d5d242d8a9e215916b2c7ce8ed1e31d","datavalue":{"value":"1101.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387435$C9D52DD9-FCB0-46F3-8E86-1111DF2F0016","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa48f1028b234c27f9bc905789909c202f226910","datavalue":{"value":{"entity-type":"item","numeric-id":392184,"id":"Q392184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387435$F053FC3F-DAD7-4A95-85E5-A2C63171C412","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387435$8743AEF5-605A-46EA-88F2-2186F543540D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75d2964caf21ea58e2c3ccbb7e808c764d931e0a","datavalue":{"value":{"time":"+2005-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2387435$2A358DE3-469E-40F8-B42F-515F4046777A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387435$8E4FA670-F1E6-4845-95B6-470FA1A6675F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387435$885DCAB1-A50D-46D8-A596-6416479B47EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22209ae0f5b6ec92d68b724d33b466ab793ce89a","datavalue":{"value":"2201777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387435$E5DE39C1-A523-46AC-98F1-5FF2844DDA74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f2298c4a6472a554a06244625b910d086d3059","datavalue":{"value":"Horn Boolean formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387435$CA29893B-7ED3-49A5-90BA-EA3CA4560282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e5fd88b480a38d8c88bd922b7376473a370b90","datavalue":{"value":"Conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387435$7D091CAB-BBDE-4B3B-B14C-8F9A44AC6608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee06d6e4fb79c03c58ff1d50b250668f324b6e57","datavalue":{"value":"Maximum renamable Horn sub-CNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387435$C48217B9-95F9-4B65-919B-FE05826216FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6b7d343786f73a34c8560e0c4dcaa56dd61856","datavalue":{"value":"Renamable Horn formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387435$F462817B-A50F-47DF-9F71-3F5B9CA477C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28b287409169f5d43cac77b156dbf57c3e441d13","datavalue":{"value":"q-Horn formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387435$9B6EBE2C-566A-46A3-A710-D2CB19E8D3A2","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":"Q2387435$36E328D2-E043-4361-A581-74C5B2F79E03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc4b181cf790c48f9c463739993828e3c8cd7530","datavalue":{"value":"https://doi.org/10.1016/j.dam.2004.05.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2387435$B4A1C57A-E970-4B12-AA93-CEE6677322DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d2df362fb23de25590a8de59b82c0a5025b5239","datavalue":{"value":"W2085497451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387435$A8C27B6B-7427-43D8-A580-25BF323DF133","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"247d85764c77ab9206d4c21e8262d8512630c2f3","datavalue":{"value":"Q62044341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387435$E316B66D-9B9A-4B0D-8143-CA6FA81A3266","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba923aa80b0999cb15029b22258ed1b537f3aff","datavalue":{"value":{"entity-type":"item","numeric-id":1961445,"id":"Q1961445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387435$9205D9E5-EB32-4740-B934-339357A059A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c88b6cc73c03c7f6e59b9df82ee73d81dfba54a","datavalue":{"value":{"entity-type":"item","numeric-id":1356205,"id":"Q1356205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387435$33F6AE4A-2C3B-4661-B8D6-DE99B25265BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eacefc5e1c594f98798d4d7c96b5f584d4ce46a","datavalue":{"value":{"entity-type":"item","numeric-id":1337669,"id":"Q1337669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387435$CA38FA25-65A7-40E8-BCC2-6977BC4FFD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a3e0be83c0e8ac3c380da47298a5b77b23dba1","datavalue":{"value":{"entity-type":"item","numeric-id":1363769,"id":"Q1363769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387435$26570F84-BEA9-4066-9066-7290182E4DE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51e1a5108ff3fafbc4f98cb21e12c3ee3599a45d","datavalue":{"value":"10.1016/J.DAM.2004.05.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387435$0902BF5F-980B-4509-A93F-F1FE6B4B6877","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4058481700c656a9d13d0902569cf39f97642be6","datavalue":{"value":{"entity-type":"item","numeric-id":1961445,"id":"Q1961445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dca5c4713e6d6254e6e0b8b9df29027adabb2258","datavalue":{"value":{"amount":"+0.8331337571144104","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":"Q2387435$13C04349-5B4C-42E4-8C4D-575C478BCD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd86d8a029c64a434e45a813df0d3cca99a6acd","datavalue":{"value":{"entity-type":"item","numeric-id":3006474,"id":"Q3006474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623314ccd4207bc1fda090ae41593a14c2829a7f","datavalue":{"value":{"amount":"+0.7689613103866577","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":"Q2387435$E1106101-277F-4089-8F05-7B33E60601E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12bd0629a9a90232e0cd835166454184f17adbc4","datavalue":{"value":{"entity-type":"item","numeric-id":2341714,"id":"Q2341714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7d6770e6fe0081d2767dbec0b41755042edd308","datavalue":{"value":{"amount":"+0.7643839716911316","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":"Q2387435$14470A02-3BE5-452B-B8CB-2B79662B626B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7b9c238c8f10597e3407b04b616e63ddf833564","datavalue":{"value":{"entity-type":"item","numeric-id":3612457,"id":"Q3612457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31997d9b92f66b6b9ec7e20aaf76bf4a518afab6","datavalue":{"value":{"amount":"+0.759993851184845","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":"Q2387435$F56E7615-9D9A-4C09-B597-63EF12FED939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98560825370a391c5831253acb725427d4ad6f7b","datavalue":{"value":{"entity-type":"item","numeric-id":1356207,"id":"Q1356207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74851b3846ffae99a1b6bbe5feffbea3154d8fa","datavalue":{"value":{"amount":"+0.7350485324859619","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":"Q2387435$42859835-A8FE-4D23-ABB8-76805A0125A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2387435","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2387435"}}}}}