{"entities":{"Q5277653":{"pageid":7307228,"ns":120,"title":"Item:Q5277653","lastrevid":29328627,"modified":"2024-03-05T18:36:41Z","type":"item","id":"Q5277653","labels":{"en":{"language":"en","value":"Maxterm Covering for Satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6743908"}},"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":"Q5277653$DC93B066-E4BA-4CAA-94D6-8BDA0023422F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e7ef731e7f27b254af6a62a288a09b0f8b804fc","datavalue":{"value":{"text":"Maxterm Covering for Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277653$F341D378-78A3-4666-AEF7-D34EA0D518EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ded51f7944c347bf45edab28d4439a8bfc2c3078","datavalue":{"value":"1365.68293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277653$692043A5-136F-4ACC-BFAB-B4AE9F81263E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f9c0d7b6688b4a5d492351ace79713877970583","datavalue":{"value":"10.1109/TC.2010.270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277653$E6959A96-BC58-44FC-8B83-F4B3F1CC6607","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52e271c83ba237f70e94d57c2bb284d2f20bf1cc","datavalue":{"value":{"entity-type":"item","numeric-id":2169113,"id":"Q2169113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277653$0EA0B47A-1A19-43DD-83C6-4EFA992567DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34a2e3a849f7afbd44d878457dc05f4cc4bbe211","datavalue":{"value":{"entity-type":"item","numeric-id":270244,"id":"Q270244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277653$3FD7267F-6EBC-43CB-AF4D-FB4BAD2773C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1caedec2f74947a2d17e2400cfb77f2b4f640d20","datavalue":{"value":{"entity-type":"item","numeric-id":364475,"id":"Q364475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277653$93D65A80-B08F-4E98-B1DF-2CE21FBAE91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07abc0868bbf3c0352f8089c12b27e770f5814c5","datavalue":{"value":{"entity-type":"item","numeric-id":364476,"id":"Q364476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277653$045FA800-0EBF-4BF2-A39D-E84A237EF5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82cefe3b2e3eed0fb2ec594f936d0e87f2ce1cca","datavalue":{"value":{"entity-type":"item","numeric-id":424965,"id":"Q424965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277653$F49827EF-6459-4730-9FDB-3D4BB9E98388","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277653$122C9D6E-64B9-43CE-8412-003BBE3714F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277653$469C2C5A-8636-4320-A88A-AA743362B897","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277653$F1F23FCE-4EA3-42B2-9CE3-FB38B5188F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277653$721D9A84-4499-4CCB-9215-26C4D12F6740","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7801ef509b959ba807361f1f1e171ae51fa6b54","datavalue":{"value":"6743908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277653$84B3649C-9052-4073-A511-5D3F70818679","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":"Q5277653$B863A538-9096-40CF-9DC7-60C98FFA9EDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277653","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277653"}}}}}