{"entities":{"Q5429360":{"pageid":7458934,"ns":120,"title":"Item:Q5429360","lastrevid":100945379,"modified":"2026-06-05T23:30:52Z","type":"item","id":"Q5429360","labels":{"en":{"language":"en","value":"Analyzing Pathways Using SAT-Based Approaches"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216271"}},"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":"Q5429360$54493684-6DD7-459D-A2C6-F71346B8AFE5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25c9eaaa3776124b0447be4d8356cb96ec1a6580","datavalue":{"value":{"text":"Analyzing Pathways Using SAT-Based Approaches","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429360$C6C86256-E524-4ACD-A3B9-AF173F2E1AC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff309bb51efab64e110e09c25fe562a78e770cfc","datavalue":{"value":"1126.92021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429360$CA257CC5-93B9-435E-B303-5A3B5168016D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c14fca8ab42c90196f68dce91e6222f1a6d25b41","datavalue":{"value":"10.1007/978-3-540-73433-8_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429360$0FE63953-CBE6-49AA-B540-EE4B87A4B6B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6127819da6ce955c14792deb6f5a0f4b6ca6eda","datavalue":{"value":{"entity-type":"item","numeric-id":1796518,"id":"Q1796518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429360$CCE25A48-7FBA-4905-8549-A9FCF9AA13D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1eb14f144cd030cfce0665798c4d76b27c1d4c9","datavalue":{"value":{"entity-type":"item","numeric-id":4413228,"id":"Q4413228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429360$715A93B6-17C2-43E0-95BB-7FE7C1436063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78912daa4c2f606a86d62c664c42ea944a74fc3b","datavalue":{"value":{"entity-type":"item","numeric-id":1611409,"id":"Q1611409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429360$99D475BC-2F3D-4DE8-951A-67A80B1D1871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd06b85e820d9a6a030d7377f177d55fded7c36b","datavalue":{"value":{"entity-type":"item","numeric-id":862852,"id":"Q862852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429360$A5EB69EE-BED7-4EEA-A4B2-9FECF0736CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d0bbdada3c9be42b370691f727810aaafa99222","datavalue":{"value":{"entity-type":"item","numeric-id":1575866,"id":"Q1575866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429360$F82249C1-F65B-4B57-AB9B-51A3895E97C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bdd92e652c94f76fb87f0226d9cdde27176a1500","datavalue":{"value":{"entity-type":"item","numeric-id":3599188,"id":"Q3599188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429360$8207E7E8-D018-4CC4-9F9F-28E095F24304","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5429360$B8917D5A-C33E-4561-9239-B35CABC7AAE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"df8467cf7c74b811c2dff1c6429af7dec65f6693","datavalue":{"value":"92C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429360$46DEA55F-201D-4CB0-BEC2-0E219CCF8CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429360$E8557DAA-C7EE-4C28-A868-383EF52FC46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4db22146753f5305670e78aa06ee0367ddbad55b","datavalue":{"value":"92B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429360$54AA3FB3-E1AD-4E20-81E9-CE56CFFA0F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"26e4779adfd26aa2f2229c31983026646fa1b009","datavalue":{"value":"37N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429360$273D42BB-16F5-40D3-8CEA-E8B7FCD8484A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cc6a2d1a81aec0cb5abdfe44055f934ac25329b","datavalue":{"value":"92C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429360$BC2FE676-7700-4604-A402-27D1D77FE873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10b85655aba2fdb6347555277df2ffd39ea1a82a","datavalue":{"value":"94C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429360$C191AB1C-D4D9-41FD-9DAE-22B050EC0AE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d5ae0590e36d592872937f3d2b54cff909e0066","datavalue":{"value":"5216271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429360$923C22AC-B29B-456F-AB03-E5A3CC56FD6B","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":"Q5429360$EB35777E-6A41-458A-8A24-079779F89EA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37635033fadc7301cfcccbb1d979324c95de772a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73433-8_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429360$39F60586-6BA4-43DD-AB96-F72D10F91639","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f835362c11128cce8f6ad54d7ff818d55e12b848","datavalue":{"value":"W1925095676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429360$5B804A67-0AA9-4FE9-83BA-5BDFA9B510FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7af797fed98504341e9d59a5f3ea7bebb1fc11e3","datavalue":{"value":{"entity-type":"item","numeric-id":2889709,"id":"Q2889709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73425dcb614fe900cff9883aec31caa715f9532d","datavalue":{"value":{"amount":"+0.8731574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429360$04938E91-9C8C-4F28-8EA6-F301A0F4432A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d1a1fab34547614f33bf042b6ca6fb4a3e575ff","datavalue":{"value":{"entity-type":"item","numeric-id":5394163,"id":"Q5394163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0670167a7296f6f1035bc16465123c3e2f297817","datavalue":{"value":{"amount":"+0.85035884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429360$DE871FFE-84D7-44A5-A995-141D7F6FA74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19e0c43f007c5c7a2b2accb2ae55ca03402769e","datavalue":{"value":{"entity-type":"item","numeric-id":1026179,"id":"Q1026179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a614dfcdbeb24da84b2c8180cc32c56df7af00e7","datavalue":{"value":{"amount":"+0.8375111","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5429360$6BA26995-6CAD-4744-BF2B-628DDE0396AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analyzing Pathways Using SAT-Based Approaches","badges":[]}}}}}