{"entities":{"Q5542557":{"pageid":7572117,"ns":120,"title":"Item:Q5542557","lastrevid":32780220,"modified":"2024-03-20T00:24:06Z","type":"item","id":"Q5542557","labels":{"en":{"language":"en","value":"Experiments With a Multipurpose, Theorem-Proving Heuristic Program"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3256242"}},"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":"Q5542557$5AFC59DE-DB9D-477F-93EE-44AC6F59854B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e59a4f9b3bc6afb7247d43416c205ee57b51fd3","datavalue":{"value":{"text":"Experiments With a Multipurpose, Theorem-Proving Heuristic Program","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5542557$A9B9508F-4583-4F90-91FE-A18A56F391F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c15a368ee0a5ae6bb583645892c2887d1f21a0ef","datavalue":{"value":"0159.21202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5542557$7D5901BF-586B-4636-8CC3-C323E5CB08C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"348d3ab54f71df07df72d1875ee2608c7752c1f8","datavalue":{"value":"10.1145/321439.321444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5542557$21E4C35B-CB1F-4BD0-ACBE-82C3E8DB5814","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"664cca3f6e203477094305ca55e057efb02bffd8","datavalue":{"value":{"entity-type":"item","numeric-id":5542556,"id":"Q5542556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5542557$66191D10-C94B-4024-A37A-69CABA0C7999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc90a3a6cb7ab9d722cacde3144f4ad0accd92b","datavalue":{"value":{"entity-type":"item","numeric-id":2549241,"id":"Q2549241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5542557$7220F769-E2D3-4489-90A5-48DF18E77171","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5542557$7491FBAF-8867-4628-960B-9FD7121DEA1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b7d902a691bf065ccbbbe3c070a7f8cb1f53366","datavalue":{"value":{"time":"+1968-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":"Q5542557$0A1FEF36-BD6F-4CC7-B517-C9AABA0D4969","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9aedcaf124dbf4c8db0ec11cee6a0e56cf05d637","datavalue":{"value":"3256242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5542557$767BED92-3A5F-48E2-BE18-84A1BBEFDB9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63f4b05707b550cfb67a57522ffdf0a6ea1fb73","datavalue":{"value":"numerical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5542557$0C8FC98E-5C7C-40E9-B788-C185BBFA6142","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":"Q5542557$B51AC00C-BCE1-429C-B8B5-81A29533A9F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ae32f69b7aee7c9daf69fa32424a4c9f4b9e632","datavalue":{"value":"https://doi.org/10.1145/321439.321444","type":"string"},"datatype":"url"},"type":"statement","id":"Q5542557$949093F1-27E7-4C39-B1BB-76D99BB8406A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94c70cb4dc8e8a595c8e53b93e5bd8b232417989","datavalue":{"value":"W2139090598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5542557$613C6F1B-0539-4845-ABA2-1375F25FB133","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5542557","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5542557"}}}}}