{"entities":{"Q1422036":{"pageid":1432776,"ns":120,"title":"Item:Q1422036","lastrevid":68797038,"modified":"2026-04-13T02:07:06Z","type":"item","id":"Q1422036","labels":{"en":{"language":"en","value":"Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5--8, 2003. Selected revised papers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2037427"}},"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":"Q1422036$6BB62649-E21D-4234-92DC-539F8D14B4C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd1d331924f597349f4fda6389479cf7fe5bc353","datavalue":{"value":{"text":"Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5--8, 2003. Selected revised papers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1422036$BA85D612-51F7-44D5-B711-67B7F2101F0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a40fc9b57c984df28eb98d29e54dc919cf07c98","datavalue":{"value":"1030.00034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422036$CDE411F1-04BE-4B2C-A876-A8CB2185ACD9","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":"Q1422036$615C70E7-1925-4260-8A33-75794A485FBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90f9531aea2ff67f2ad60a47f2412a1f7827bd33","datavalue":{"value":{"time":"+2004-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1422036$92FCE3D0-1BC6-420F-848A-FFB4CCA6F79B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0de184ae4e962e28937d036b203818de62a786b2","datavalue":{"value":"http://link.springer.de/link/service/series/0558/tocs/t2919.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q1422036$A2EF929E-D45C-434D-9725-C0C77771AC19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422036$41A962BD-8CBE-44BD-9537-F916882B9B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422036$C9FBBE82-BDE1-4D20-A48F-917218E7CAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422036$F0B62A79-66CD-4AB2-875E-9ED2A3FF19E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422036$261EF08F-007E-4E7C-8F62-36682C199A66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ecc48a3a55f2d2afc8fec8611d09995a00339a4","datavalue":{"value":"2037427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422036$21D21FDA-1499-475C-8151-2A21E6DA19E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df251defafd23b12a86e1bc8807fd0ae8c994a09","datavalue":{"value":"Satisfiability testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422036$F2D07F6B-AFC9-4DC5-94FA-ADADE91C8D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d08525b3179cb16951678e337dcd7a7e38055fac","datavalue":{"value":"SAT 2003","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422036$7354C6B9-159D-4EFC-832D-EAD5C749B1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ea2f27e921ebba77e4eb3e4980ab723c2db6a2d","datavalue":{"value":"Santa Margherita Ligure (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422036$AF2E325A-A1D9-40D4-BBDA-C085587634CB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422036$65531F63-CF37-44CE-B986-D17F04AFA46F","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":"Q1422036$24985DF0-ACA1-4D79-992E-E3CACFB9BA73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899d04d1d788e2176a12cb1fde20d57a7012c1a3","datavalue":{"value":"W2494235144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422036$E3CFAF24-40C2-495D-BADF-E7FCDE4450F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5f5b87ce9a07b5f78a264b01d38413054440c","datavalue":{"value":"10.1007/B95238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422036$62AC4562-5EAD-4056-BB2A-1C42D9B591FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory and applications of satisfiability testing. 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5--8, 2003. Selected revised papers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theory_and_applications_of_satisfiability_testing._6th_international_conference,_SAT_2003,_Santa_Margherita_Ligure,_Italy,_May_5--8,_2003._Selected_revised_papers"}}}}}