{"entities":{"Q1137026":{"pageid":1147775,"ns":120,"title":"Item:Q1137026","lastrevid":48664561,"modified":"2026-01-05T13:29:41Z","type":"item","id":"Q1137026","labels":{"en":{"language":"en","value":"5th Conference on automated deduction, Les Arcs, France, July 8-11, 1980. Ed. by W. Bibel and R. Kowalski"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3666726"}},"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":"Q1137026$A7BF79C4-2D33-4610-847B-A9E0A418BEF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5611bce2f15e482545f5c10da7f49095c2f96689","datavalue":{"value":{"text":"5th Conference on automated deduction, Les Arcs, France, July 8-11, 1980. Ed. by W. Bibel and R. Kowalski","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1137026$3DA81070-B010-4106-8B74-1A908A8669A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec2834658d03ef369d772901d2bae451fcc309bd","datavalue":{"value":"0428.00026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137026$03474EF3-758B-45A5-98FC-EE1002EECFD1","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":"Q1137026$DD01593B-6DB3-4CEE-917F-A93F2D8B2EBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1137026$8FEF7885-A48D-4247-B626-376A7712A038","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137026$84FCCACC-D39F-4C4D-BD74-9D7939F53EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137026$D045C8F4-1C0E-407D-9959-982F7715486B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57923e77047de24ec324def97c2a860f7ce14da0","datavalue":{"value":"3666726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137026$9463E3EC-2F9C-4955-B9DC-A78F92FB4137","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137026$2577EF9C-BE2B-430C-8559-62684914A6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf4f74c129274c74f2df90abe98591d25c9e4a0","datavalue":{"value":"Automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137026$16997342-D084-4291-B6FD-FB6E62F13C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc245d94447fe103c917a9a572e1725b7f58dd3c","datavalue":{"value":"Les Arcs/France","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137026$62F14FBB-605A-44CB-820A-F069CFADD153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137026$530749E7-B643-4591-B45E-0ED378116CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cb376264b02ed15f224863c122f82e521b4f614","datavalue":{"value":"CADE-5","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137026$16292A47-6413-4EB6-BAE1-B41DF4AAE5D3","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":"Q1137026$53A33102-1531-46CB-B954-8C1127470800","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2735f4a7395cc827f99a97ae68d5ceac0969424","datavalue":{"value":{"entity-type":"item","numeric-id":1159599,"id":"Q1159599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da48a639ccaab2e3e9512d06f46ee636e24e935c","datavalue":{"value":{"amount":"+0.8606493473052979","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":"Q1137026$4CE44B52-9DEC-479E-A232-8DFCB48B8542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e3a16fe5cccad5236a53243e77de9015e09ae1","datavalue":{"value":{"entity-type":"item","numeric-id":792298,"id":"Q792298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6c3d1368ece103191bd1c8a77b01994573e5f90","datavalue":{"value":{"amount":"+0.838210940361023","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":"Q1137026$1D43F1CB-7EC8-4ED9-8209-574101EE4BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d7aaccd077c962dd022b81ae185d156883cc29","datavalue":{"value":{"entity-type":"item","numeric-id":1188720,"id":"Q1188720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e88ece54ccdcb53e6015f4a83f23b536636725b","datavalue":{"value":{"amount":"+0.8379892110824585","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":"Q1137026$8A7F85A1-83AB-4558-B2D9-EF1C1179D61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f09fd6c2e063f7c21155923090154d9343ee36bd","datavalue":{"value":{"entity-type":"item","numeric-id":1079552,"id":"Q1079552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e257bc6401d975a9e072787b2f6d2c75592de96","datavalue":{"value":{"amount":"+0.8348108530044556","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":"Q1137026$14CE2849-BD28-485B-815E-D22BC04CF926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb0d0ae59343cb96fca8d4fd6b3a0b5b6181400","datavalue":{"value":{"entity-type":"item","numeric-id":3682462,"id":"Q3682462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d4a3d2601ae7d644c80f607b9be74a930121b67","datavalue":{"value":{"amount":"+0.8214120864868164","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":"Q1137026$5C4E5197-45F0-4924-8F71-30ECB8CFA882","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1137026","badges":[]}}}}}