{"entities":{"Q1892715":{"pageid":1903457,"ns":120,"title":"Item:Q1892715","lastrevid":43399918,"modified":"2025-07-25T11:37:25Z","type":"item","id":"Q1892715","labels":{"en":{"language":"en","value":"Reexecution in abstract interpretation of prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 766460"}},"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":"Q1892715$8B61578F-8DF7-40F0-8DDC-65A086C9143D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53ef4e800d4bce411f5418fa6fecbdc5068dd09d","datavalue":{"value":{"text":"Reexecution in abstract interpretation of prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1892715$701E984B-9867-42C5-939F-679A8F37D5CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0c5303cf18b1e4cb0dec273deb0209af9ca1887","datavalue":{"value":"0939.68572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892715$E1F877DD-6142-46DA-9908-95753F0D5DBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d580d5e989b5b82886bdcefab7b54e9c9a839b","datavalue":{"value":{"entity-type":"item","numeric-id":1581060,"id":"Q1581060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892715$A005036F-1D74-46C2-94DD-3B81586B9137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5071eb176464eae3490ca51468eb4e98281e6ec3","datavalue":{"value":{"entity-type":"item","numeric-id":262449,"id":"Q262449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892715$C048D953-3815-4864-9FEC-34F403E735F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892715$818ABB66-7617-46EF-A760-D8F399A963EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9e2f38af2b9b50bb6524b19e002d57dc0f88b01","datavalue":{"value":{"time":"+1999-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1892715$070D8DBC-EE6C-431F-82BA-6FF166544AA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892715$ADD7D82D-7E2A-4DC7-A65B-22FE1CF7C765","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b47c1001718fbb930a0dbd8c62b669588a384629","datavalue":{"value":"766460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892715$BE97CB06-E8BC-4A19-8AC9-A1E9C41AC5E9","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":"Q1892715$92710CFE-B6D0-4A85-B585-1E348093BBDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a9c2cc65a3ed8120cddfdbb0bc2c682a9fdb4c9","datavalue":{"value":"https://doi.org/10.1007/s002360050013","type":"string"},"datatype":"url"},"type":"statement","id":"Q1892715$82E49C0D-9488-4F30-BE65-65FB4EBA8BE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5899f2972001851a1b92bfa35b506b0912259a1a","datavalue":{"value":"W2063279331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892715$5BE8586B-C907-4AC5-873B-1FFF72D3C136","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8ea2a1b2d4054d42ca9140f7ad5da41d9c837cd","datavalue":{"value":"10.1007/S002360050013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892715$195D84EF-E354-4EC1-B3E8-38F979664E63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1892715","badges":[]}}}}}