{"entities":{"Q428474":{"pageid":430241,"ns":120,"title":"Item:Q428474","lastrevid":61762857,"modified":"2026-04-11T01:29:12Z","type":"item","id":"Q428474","labels":{"en":{"language":"en","value":"Theory and applications of satisfiability testing -- SAT 2012. 15th international conference, Trento, Italy, June 17--20, 2012. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049043"}},"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":"Q428474$AB9792D0-158D-42B6-9C59-40F8311C8673","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ebde5b314a47f975649412d13221043bdbfeb99","datavalue":{"value":{"text":"Theory and applications of satisfiability testing -- SAT 2012. 15th international conference, Trento, Italy, June 17--20, 2012. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q428474$26374DDE-79C8-4950-BC8A-D5F8D963303A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"086dbef0529e5026f6b752f478126529f0b35ee6","datavalue":{"value":"1268.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428474$D720E1BB-898E-43C1-9EC4-F5A5549653CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62e03559099ba39552d3e9ccf87dd5adb22ad5e8","datavalue":{"value":"10.1007/978-3-642-31612-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428474$378F0CC0-1370-4B91-80E4-856FA2528DBE","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":"Q428474$CAA1D0B9-AEF8-46EC-9E3D-E199A70D3F6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07eaa53cd09094048e0acc4ff8bce144ed1564df","datavalue":{"value":{"time":"+2012-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q428474$F74FD2F4-20E1-47D7-ADDD-320058ADB999","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428474$E163F693-7791-4F10-AF57-D372FD4A82EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428474$3D88F161-D0C6-4496-AA27-57F8FB152E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428474$BC7E8B14-FE0F-42EA-8A14-E58D9E4C848C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428474$FA8974EA-D540-4784-9970-C02FAEA98C20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3beb01a98a400fb8c689fff204f56888c7117bf","datavalue":{"value":"6049043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428474$52CB6BB9-0720-4273-8BB2-E1D96EF41DE4","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":"Q428474$1499A52C-74E3-44F2-B582-067487FFA0CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8cf3b1df06201a74815b6fef2c31e4de1ad82d6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31612-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q428474$FAC53747-6A3F-4CD6-8C68-7C9A1453D5AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9a3a1e5e73a46795f872da5c3ec2f86c4abc04a","datavalue":{"value":"W2489418233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428474$C3103B7B-7F6E-48F3-9777-6321C42337C2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fff8d3539a10c1652b5b051865f91a42bc022258","datavalue":{"value":"Q62041205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428474$0D78A9D3-8B3B-43BA-985F-A0A1944534E2","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"d3dfce3291b6d62f06f946932d957de2a6400788","datavalue":{"value":"conf/sat/2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428474$7B761FDA-882D-4241-8498-AF8ECC4455CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory and applications of satisfiability testing -- SAT 2012. 15th international conference, Trento, Italy, June 17--20, 2012. Proceedings","badges":[]}}}}}