{"entities":{"Q5756578":{"pageid":7786129,"ns":120,"title":"Item:Q5756578","lastrevid":55934677,"modified":"2026-02-21T07:15:16Z","type":"item","id":"Q5756578","labels":{"en":{"language":"en","value":"Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187237"}},"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":"Q5756578$ED775AA9-7418-4D10-907F-4CA1414D6E42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6e8938c278802d1c8269b13bff66ca20ce61bf3","datavalue":{"value":{"text":"Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756578$DD1F3068-1013-4B93-9271-92F84C20FD38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67a1f297f55322ca2eb829547c97b7cc7e12f493","datavalue":{"value":"1187.68552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756578$0E1FC6A5-EA03-48BD-933E-1C61FC8A8122","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce49e5c27da747d3121b1dbc0e43a9521833dd66","datavalue":{"value":"10.1007/11814948_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756578$20C541CA-7491-4A44-B4ED-825127B6F4AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec0087dd29e6cdd418da3bff00462ae1b309f6ef","datavalue":{"value":{"entity-type":"item","numeric-id":391123,"id":"Q391123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756578$E0DE2B3D-A587-4871-8C9D-AE6354B24A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"407e41d2014cb38969f273806ce1eb535a6eb9fb","datavalue":{"value":{"entity-type":"item","numeric-id":421450,"id":"Q421450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756578$3C459B51-8E4A-46E7-9DE6-1D364A44D2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756578$9D49A954-DDFE-4DBD-AFA9-F15BC9EFB2A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756578$0094D99A-6B8D-42B6-942D-55B52135AD00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756578$E24F905A-4082-4DDD-9723-6A74AB2EF6DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8481190210c6db5575f766ef50f147343cf61ed6","datavalue":{"value":"https://eprints.soton.ac.uk/262430/1/jpms-sat06b.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756578$EF6D3471-F1B3-4EC8-9202-87143793B5E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756578$860288C2-01B4-40E2-83B4-2A840BB3DA4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"140b40ed6f9331cebb86c93df5a018a370224d84","datavalue":{"value":"5187237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756578$0EE2065F-D8B9-4A85-9364-0406357C628E","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":"Q5756578$BDDCE775-14C4-43D9-9C71-716882DA7A46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"357269af9666f0ec231e5f65985892660a0dba23","datavalue":{"value":"W2095623224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756578$681F62B3-1159-4E6B-8141-9CFEC230FA24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5877198c7d51f88da9cd4d65832e309cdc8d253a","datavalue":{"value":{"entity-type":"item","numeric-id":1408381,"id":"Q1408381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3adc56248bfcc234dcae07d44ffddec981f5d013","datavalue":{"value":{"amount":"+0.799355149269104","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":"Q5756578$6AC34F6B-6607-41FC-AF0A-A231E7A44C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f377599ef69fd95d5d3831635020dc8687053b","datavalue":{"value":{"entity-type":"item","numeric-id":1408373,"id":"Q1408373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f29a841a89c0d883f4fcd0dc8558d2897e4bbd","datavalue":{"value":{"amount":"+0.7800164818763733","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":"Q5756578$5D5D7003-3FC8-4851-80A6-66DBCDDEB790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bd8c25f8e8adce9d13af2a2e2cd39bbfdcc7479","datavalue":{"value":{"entity-type":"item","numeric-id":1777390,"id":"Q1777390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9c2c0e4f7d04792b16637bedd4b874d90adb408","datavalue":{"value":{"amount":"+0.7743751406669617","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":"Q5756578$63AA9271-918F-4BE5-B8F2-DF622A5371AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65dfa35810581070e46f5460196bbfa0b7cfee83","datavalue":{"value":{"entity-type":"item","numeric-id":4473049,"id":"Q4473049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f6aeb8fe60ef113841f30dd7a882c791e1c6c99","datavalue":{"value":{"amount":"+0.7646917700767517","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":"Q5756578$2ECEA0AE-9691-40B8-B8C4-4D681374A59B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756578","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756578"}}}}}