{"entities":{"Q7320665":{"pageid":31337671,"ns":120,"title":"Item:Q7320665","lastrevid":105115972,"modified":"2026-09-17T11:22:28Z","type":"item","id":"Q7320665","labels":{"en":{"language":"en","value":"Efficient SMT formulations for classical planning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8247032"}},"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":"Q7320665$26CF9C95-2878-4366-BDA5-AEFB0F8ABC97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"305c79f55559109c04936779810038da6c4b94ee","datavalue":{"value":{"text":"Efficient SMT formulations for classical planning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7320665$95EA8417-C047-475A-ABCA-8F9A3D4A27D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0055f535234a177a85f9368135cda7482a34646","datavalue":{"value":"10.1016/J.JLAMP.2026.101145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7320665$7C9C0AC2-B21D-42C6-8236-B95A02282828","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b231cce4a382844a3ad0489ebe7d94a7645d36f5","datavalue":{"value":{"entity-type":"item","numeric-id":6643465,"id":"Q6643465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320665$3205AEBB-36E5-475A-A525-B78806055D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ce8850632b90b69a6c289735cc288ece6fb9e1a","datavalue":{"value":{"entity-type":"item","numeric-id":352975,"id":"Q352975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320665$90C91CD6-6877-4BFC-9E29-DF55D92842D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f18c2b247eb825a22ef1ac6c7e11ce559c2677f","datavalue":{"value":{"entity-type":"item","numeric-id":438573,"id":"Q438573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320665$661B824A-693A-4B2F-8768-8E99F7D32A09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320665$9C63B350-EF79-4271-9830-9390AA4D5DB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba7debfa9fdf0040043d7d7d65003e0398bcfdac","datavalue":{"value":{"time":"+2026-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7320665$6A43D75E-A086-4E44-82A6-DE526809B3FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7320665$532E041F-143A-42AA-87D2-352EFAE50127","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e82d29f1b9ed16218de5072a32eb0e4287d596ab","datavalue":{"value":"8247032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7320665$C8D6913C-94F2-4649-B047-725BA610EA05","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":"Q7320665$FC48DB21-5AD1-4E9E-A46A-94A691B2F491","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b5e9764238b84a89b6f90ca43e0cea49889b35","datavalue":{"value":{"entity-type":"item","numeric-id":2551696,"id":"Q2551696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320665$EB820158-3AC7-41FF-B259-DBEA3F499AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51349babc9d3c4785c029872745b0bb797ea3fc4","datavalue":{"value":{"entity-type":"item","numeric-id":1337679,"id":"Q1337679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320665$61412F6E-DE6A-471F-9D0A-01C01C6C41C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57971a1dc21b4998ecc5dbfd573eb38d79059318","datavalue":{"value":{"entity-type":"item","numeric-id":359984,"id":"Q359984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320665$85758BBB-6AC1-4416-85F1-1A6465C074C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb6372617491f6f2999066cd051343dbd66129e0","datavalue":{"value":{"entity-type":"item","numeric-id":6113550,"id":"Q6113550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320665$72D7ADB8-E468-4398-A954-33B14BDEA124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66b759afa270728a57491f1ea43fda415deb1d34","datavalue":{"value":{"entity-type":"item","numeric-id":5109894,"id":"Q5109894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320665$57AE83AB-A782-40AF-A1CC-DFD9A29F40E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b21e78709e090610994a87af2ab997fe4f5f9c9","datavalue":{"value":{"entity-type":"item","numeric-id":5108211,"id":"Q5108211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320665$0C7218E7-529F-4CCE-9831-CE4BFCB12955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67737023899dd2252d79885f477a3601bda6d265","datavalue":{"value":{"entity-type":"item","numeric-id":6114261,"id":"Q6114261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320665$6867F718-0458-468C-9516-892A1C8EA138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f2f23484cc563361b9a949250d7cf0cf0889e","datavalue":{"value":{"entity-type":"item","numeric-id":2479551,"id":"Q2479551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320665$23D03D8C-0BEF-4565-BB72-309DD5549E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13bee5f0057389e1c16ac139c18b978a9fc1e0e6","datavalue":{"value":{"entity-type":"item","numeric-id":3624014,"id":"Q3624014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320665$819D46F3-919C-45BD-B8C3-7F00D1AFDDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b110ada156d276289ecc81191110bc89c1579f0","datavalue":{"value":{"entity-type":"item","numeric-id":835819,"id":"Q835819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7320665$FB901E77-96F1-4E88-9D99-4FFF7E2EE27D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient SMT formulations for classical planning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_SMT_formulations_for_classical_planning"}}}}}