{"entities":{"Q4015948":{"pageid":6045737,"ns":120,"title":"Item:Q4015948","lastrevid":55190011,"modified":"2026-02-04T15:02:00Z","type":"item","id":"Q4015948","labels":{"en":{"language":"en","value":"A verified prolog compiler for the Warren Abstract Machine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 70117"}},"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":"Q4015948$41888DC6-61D7-4DCE-A2D7-2996F33CBF6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19cec7d76dba2a1127f0fe190782039b1f7077b1","datavalue":{"value":{"text":"A verified prolog compiler for the Warren Abstract Machine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4015948$4E6277B7-B18E-494C-8A91-7BAA39A9D9EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"862f4fe35b81b3c66d81f990cfda7a3d5cf4fddd","datavalue":{"value":"0754.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015948$DFC4D6BF-2DBD-45C4-AC04-5319DF7A9079","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e07b4d761f48d257068911ff1b1058469d65683a","datavalue":{"value":"10.1016/0743-1066(92)90054-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015948$8DF40027-D4F4-4C9B-ABE4-87A4406A0BDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74ab161205b2632de50aff2567915fa99648a937","datavalue":{"value":{"entity-type":"item","numeric-id":1187852,"id":"Q1187852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4015948$36FDFC63-E182-49E7-8EA2-D865890A0D74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4015948$1C5ABC8B-DB5E-4FDE-94D8-0C4F4896FD71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9688fba77d08b63334dc8de515e99dd360c4df1","datavalue":{"value":{"time":"+1992-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4015948$FF6AA1D5-FB29-4DB7-BA10-0930A02AB2D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015948$47D6890C-2B23-47B8-BF74-B22D304C5DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015948$295FE36D-193F-44D1-86B1-2B26ADC1532D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015948$12D9B0CE-F62F-4B4D-AAE0-B15F3AB16C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015948$6516C97C-405F-4A79-A304-1455185B6B53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a8eddc97a484b6448605bc858a2de6131187dc8","datavalue":{"value":"70117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015948$87B1CB8F-1EC7-42DD-B6C4-8CFD06269CAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015948$350F5866-A0B4-4089-A1B6-D57DD15E186A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30465c7253323499b5cce6c4f064def1ef2d4445","datavalue":{"value":"compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015948$090FD126-7135-44B9-A95F-BEA7EF306CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6efe014de5570ef6520205f4ce05d63d3137721f","datavalue":{"value":"Warren Abstract Machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015948$38C3935B-6D82-4A66-B26C-0FF066B55257","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":"Q4015948$52FE8741-12F0-4FC5-BEAA-7D1CFE41CACB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48c7d3d3c33bc975e92b3bf90ef597a1a002fcea","datavalue":{"value":"https://doi.org/10.1016/0743-1066(92)90054-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4015948$CCB8F79B-CCFC-4ED6-9CAC-E4FF10D705CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c390a56e3bfcd25a749f8531b2da1a8a046c954","datavalue":{"value":"W2006804775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015948$6AC58430-0496-453F-9EAD-BDF5E542395B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1d3d19840c2fdc19defd7c01fbae7c67ed1df0a5","datavalue":{"value":"Q123182249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015948$E8D7EA3C-9BAC-4B8D-9153-53D486FAEA3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6c990b66a229c1c27a39206aa2164257c40ddbf","datavalue":{"value":{"entity-type":"item","numeric-id":3821551,"id":"Q3821551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72aefaee2ecb23cbef39e49e9a029d94fdbe0f13","datavalue":{"value":{"amount":"+0.88898826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4015948$ED80F248-2217-47E9-A7ED-64EA39B101E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ff7130f3d41e7165dba4d7b35aea65f278b22d","datavalue":{"value":{"entity-type":"item","numeric-id":4700385,"id":"Q4700385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0383bdb28e25a7c713e055e5a469ccc8feb9fe11","datavalue":{"value":{"amount":"+0.87450725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4015948$C5A4E008-A0B9-4995-95B9-B4640011AE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b38d041c7dfb50baa22a1aa118ce0d93932c5e","datavalue":{"value":{"entity-type":"item","numeric-id":3725520,"id":"Q3725520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8bb63f16621b8d701606d6bbaf512530f0795c9","datavalue":{"value":{"amount":"+0.870615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4015948$F720295A-4CA5-4AF2-A42E-57C56181227F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173ea42de9c3d1d7a700bda05f56631e4abbf156","datavalue":{"value":{"entity-type":"item","numeric-id":4873987,"id":"Q4873987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d03093da7bfbe6cb62412c96f860b96ca825438","datavalue":{"value":{"amount":"+0.8691938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4015948$4E217844-4502-4C8A-B12F-6D12C952C845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a78656e009a875f791fb00201d65f8f9e3e67b0","datavalue":{"value":{"entity-type":"item","numeric-id":3200537,"id":"Q3200537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df1727a5d04a9ef98f1c4a2e077269fb46f8f72c","datavalue":{"value":{"amount":"+0.8677075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4015948$C8B61C2C-5D46-4F2A-9C70-659A56EDD43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea5cf83a7b0d1bb9b74d84888bbd75c3b4f6f8ba","datavalue":{"value":{"entity-type":"item","numeric-id":2702600,"id":"Q2702600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda2637a7e1b31c32f7909bf1d60d303e84509e5","datavalue":{"value":{"amount":"+0.86717254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4015948$00EB2639-7881-42A3-927C-7DD30C523AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"360d26f88c98653277331d5ea90b8737c3821e58","datavalue":{"value":{"entity-type":"item","numeric-id":4218866,"id":"Q4218866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"665ca0899530584f0ed9de423c0a506f66958c66","datavalue":{"value":{"amount":"+0.86626995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4015948$CE31E7FA-56DE-452A-BBAC-6A89FC5FDD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5323e680a7c6c14f0810023060c0fa576c7a95","datavalue":{"value":{"entity-type":"item","numeric-id":4911140,"id":"Q4911140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45cf029ef0e8b6a081915458359b45cfdfcc5c90","datavalue":{"value":{"amount":"+0.8618585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4015948$782DA26C-F24C-451E-BC38-F812083A7D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21aaa6e3e0aa120288cc9c8e52280a5e1d71c2d4","datavalue":{"value":{"entity-type":"item","numeric-id":5020651,"id":"Q5020651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"642f3c29332c034f88a693572d8a221b360bb253","datavalue":{"value":{"amount":"+0.8597642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4015948$CC7FB3A5-CB58-4DAA-BB3A-A5BE6A6B568B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4015948","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4015948"}}}}}