{"entities":{"Q2945139":{"pageid":2955859,"ns":120,"title":"Item:Q2945139","lastrevid":52341989,"modified":"2026-01-22T09:15:50Z","type":"item","id":"Q2945139","labels":{"en":{"language":"en","value":"Rewriting modulo SMT and open system analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6479872"}},"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":"Q2945139$832ACE68-138D-4574-97F7-E009F93BE013","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57627454afd99ec179b6fea9a7d60a5d3d713004","datavalue":{"value":{"text":"Rewriting Modulo SMT and Open System Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945139$97C53AFB-5F5F-448A-AD42-CF37BF056F45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55bc1b795fe14cefe5f9996b0e470b53f8a207b6","datavalue":{"value":"1367.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945139$6863691F-3B57-4A8A-B7FD-4D6D95690168","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b5aef57339e99ada61b0bf9c76398d059ca70a9","datavalue":{"value":"10.1007/978-3-319-12904-4_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945139$1EF6428C-C478-4799-9ED4-EF9E85EA4769","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a482cf0499359d513e033835fd455222dfc82f","datavalue":{"value":{"entity-type":"item","numeric-id":347383,"id":"Q347383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945139$FC50A3C0-3C46-4326-A65D-01BFDA72E675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945139$943E3D4B-5EEF-4F69-B41C-2AC0314B75FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"964ad06bbce2223d39835995102fd837d5d2b24f","datavalue":{"value":{"entity-type":"item","numeric-id":1791191,"id":"Q1791191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945139$62DC3CC1-7AB4-40DE-89E1-29C621F149E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ceb113738d3e5da0a916e1b83a2de3b37ac0494b","datavalue":{"value":{"entity-type":"item","numeric-id":2827833,"id":"Q2827833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945139$35EF74E1-1C6D-4A5B-9F43-D47EB698F6DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39fdba1a180432aa0076bd7853aefca9f33efc7b","datavalue":{"value":{"time":"+2015-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945139$845F858B-B94B-4931-A899-B496EBDA7AD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3773061f4fc68d7f04559fab7b0e053693328ea6","datavalue":{"value":"http://hdl.handle.net/2142/91638","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945139$56892AAB-3786-459E-94B3-9D782E7DA575","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945139$F389F84F-F7BB-424F-845D-0EFC789E1442","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c3c1365e53436b69b8c5c1f177702db2b80022d","datavalue":{"value":"6479872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945139$DF782E94-FBB3-4682-A5F2-B2F37172F447","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945139$B119B52E-24CC-4718-9A8D-55FC9B1D8303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945139$F58CD668-5B8B-4B25-8BDE-1B5831061CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945139$479D4BF2-2EA7-4F65-A25E-9E4FCEC373F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a348546449022e02dc30871364e9d316b31227e7","datavalue":{"value":{"entity-type":"item","numeric-id":25785,"id":"Q25785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945139$188BB038-CA2F-4C1F-BC20-DAB414EE99E7","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":"Q2945139$0959EE9E-54D0-4E35-AA91-92DDADFFA34D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c8582dc1f07237b7f012ac70b03ef853a0a19d1","datavalue":{"value":"W1462102326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945139$EBCB7F4A-2F2C-42E4-B495-B6875E0ADE97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cdefc31fd46fa68e103421276359f411ebf337e","datavalue":{"value":{"entity-type":"item","numeric-id":347384,"id":"Q347384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b78d2e453950002e185e95b204caef070a06cbc","datavalue":{"value":{"amount":"+0.983092188835144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2945139$9815ADA6-6A3F-4401-9261-D3ACCFBC264C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95435e4c5795599fed5d664a86bb5ffe36705dd3","datavalue":{"value":{"entity-type":"item","numeric-id":5040686,"id":"Q5040686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99cc6ceb2f6e1ba002c28b7f6d208cb7187cd647","datavalue":{"value":{"amount":"+0.7280787825584412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2945139$6AC04CE4-AADA-4052-AA4B-FC2DD846B05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e4df95f3c3b37af1ca7c124e81edfa9dbd75ef9","datavalue":{"value":{"entity-type":"item","numeric-id":3773311,"id":"Q3773311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91b1ad1849d193149c239cd471360866bc9a3ce7","datavalue":{"value":{"amount":"+0.7099173665046692","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2945139$678B8896-6A79-45D7-9AB0-D711ECF3F4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94433ddcc3b1e1a51adee54d8cfb7b1456b7677d","datavalue":{"value":{"entity-type":"item","numeric-id":5432339,"id":"Q5432339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ac513b36b2545347783d564ee960dbda7b4f6dc","datavalue":{"value":{"amount":"+0.7056891918182373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2945139$40028B3C-3709-4C7D-A993-B78F602CE128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5374a685b3ad64a9cc08b51af3ff70626b89f79","datavalue":{"value":{"entity-type":"item","numeric-id":5747748,"id":"Q5747748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9928877227ff25128ef2bf49e9f01c477283ac","datavalue":{"value":{"amount":"+0.703679084777832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2945139$411560C4-0887-4C5D-A8B6-334260F16471","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945139","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945139"}}}}}