{"entities":{"Q1574965":{"pageid":1585705,"ns":120,"title":"Item:Q1574965","lastrevid":43220162,"modified":"2025-07-22T12:23:21Z","type":"item","id":"Q1574965","labels":{"en":{"language":"en","value":"Workshop on verification of logic programs. Las Cruces, NM, USA, December 1, 1999"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1490627"}},"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":"Q1574965$7EDD0598-0CDF-478B-8649-F991C915D2BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c15669d8ca20133e63883f8470dd2ff1ce8dfe25","datavalue":{"value":{"text":"Workshop on verification of logic programs. Las Cruces, NM, USA, December 1, 1999","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1574965$47AB90E0-C5E9-4810-AFE6-FBA78BE4C3AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4cde759cc0afb96836b6a927a677b9068808836","datavalue":{"value":"0942.00047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574965$C8756214-0D91-451F-8C43-EACB8BEA583E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1574965$483A1D08-24DF-46F6-BC79-C736F4C46922","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97fbaa74108aac30250cdf29ad1831a2e82622ab","datavalue":{"value":{"time":"+2000-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1574965$969CADCA-C795-4F91-BE9A-7B4BC9790FED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574965$F8551F4E-0393-44A6-A460-4EAFB88DF4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574965$BFF5216D-7C6D-40FD-9E8D-98094E77DE65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01f03735b914c93590f7f1d2bccaf829699f6a25","datavalue":{"value":"1490627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1574965$B9C725CE-9046-4A1E-9D40-7716F31ADA5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc9e4dd732ca18241670c3cdd368b0d0961407b1","datavalue":{"value":"Las Cruces, NM (USA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574965$1ADDA663-D82D-4D7F-991B-D8538E6C4D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574965$C23C3641-4478-4106-8043-4905FA224B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574965$A09E7C0C-F400-44F8-B00B-E0841239BAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574965$11D9E9E3-5024-4E53-B244-524A5D723102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70aa52c1f2a28e4a11fee3cdf9fd50b1ffd1e34d","datavalue":{"value":"Logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1574965$C0E47B63-6546-48CF-846C-0CCAEEB9B853","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":"Q1574965$E843A4DF-9D70-4063-B7CD-44C537BC8F25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1574965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1574965"}}}}}