{"entities":{"Q5038477":{"pageid":7068054,"ns":120,"title":"Item:Q5038477","lastrevid":57312375,"modified":"2026-03-30T09:27:13Z","type":"item","id":"Q5038477","labels":{"en":{"language":"en","value":"Making ProB Compatible with SWI-Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7595338"}},"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":"Q5038477$ADC629E1-A3B9-48C2-AC6E-9B1B03301AAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4d49603dde9761254b7065a47f6d02a06e9ae93","datavalue":{"value":{"text":"Making ProB Compatible with SWI-Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5038477$73425E7B-C3F5-4D30-B6E8-317E416BBF19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa3a05fbe940dc7b81a9e295ded1c7263ad1c028","datavalue":{"value":"10.1017/S1471068422000230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038477$D583053D-F115-4141-A468-2FFBB6B90DF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81139debe0543b7ef846617bd363aa2717f14fdf","datavalue":{"value":{"entity-type":"item","numeric-id":5038476,"id":"Q5038476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038477$6AADFB55-236D-4BAA-A91C-DD9DD05A7C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f18d6b5c094a5b54491448ffca180723301eb8f","datavalue":{"value":{"entity-type":"item","numeric-id":418180,"id":"Q418180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038477$1C366FBD-0D62-4410-8E46-ED1E9B5E3265","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038477$8FAEB4DC-7334-4E96-B54C-9A0A63C69A9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9283dd817d2ebf256bf865a5d69ed7b0c35a3bc5","datavalue":{"value":{"time":"+2022-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5038477$64AFEF43-332A-452A-B0C4-AB2018A7CDE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a72219ae1fbf4bbf38e8fb33dfe4e7ef68a2db4","datavalue":{"value":"https://arxiv.org/abs/2205.04373","type":"string"},"datatype":"url"},"type":"statement","id":"Q5038477$233B1CBC-CA44-41CA-98AF-2DB1ED711249","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038477$EE684F5D-5B95-4F23-9502-C0F171E1777C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f94acb6dd093473698a556acc8871a1bd59dabf2","datavalue":{"value":"7595338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038477$C99E9FE7-DE61-4C5A-A30A-F62A35892721","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0892b6e9e2c60e42b1cfda9d359fd5f0302a7db0","datavalue":{"value":"prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038477$9F21AECD-C4B4-4CC7-92DD-559FAF4F4A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e30449516d5a4b75ecee0c521198af1949e76b","datavalue":{"value":"porting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038477$E682468F-9FAD-40FE-973D-36A90C15DF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c81bcb66af213e97074519e81efa8116b63081a","datavalue":{"value":"compatibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038477$2CC84AAB-14A4-486D-B076-721AF64CF2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0656da14a97c229e9a621c273031d923f4572597","datavalue":{"value":"emulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038477$EE49CB32-38FC-4774-850F-3F0F2D12290C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b17558b082f26dd4c3a767d86ca1b5289c6a108e","datavalue":{"value":"ProB","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038477$67B2996C-8185-4447-8909-6C20E128B06A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d36e94124670e343ce0a941fd9d5d398e768df6","datavalue":{"value":{"entity-type":"item","numeric-id":24368,"id":"Q24368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038477$19508F52-89CE-4547-88EB-7D454E6347D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60b30d4c595fd691e3f3327727345d1c8a590117","datavalue":{"value":{"entity-type":"item","numeric-id":15439,"id":"Q15439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038477$BDCDB45F-1B20-4B35-8047-9E9FAB67E24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0cef52017e4e3abb65b54005e36080c4a777722e","datavalue":{"value":{"entity-type":"item","numeric-id":32763,"id":"Q32763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038477$8EDA6BF0-FEBF-4AD2-AF2F-8CC95B148694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4159e6648806f3f9d4482408c4e384586b151fd1","datavalue":{"value":{"entity-type":"item","numeric-id":19012,"id":"Q19012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038477$DA9FB5DA-B4C9-4EC2-995F-B1C3AB653D2E","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":"Q5038477$DA662A0C-C3D9-4846-901A-308A7715DC2D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3cfd04262c00887eab4670d84d186029a8a082","datavalue":{"value":{"entity-type":"item","numeric-id":2893089,"id":"Q2893089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038477$5233C665-4B1E-4EA8-BD78-A27C9ADA8DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1e976cb72dca5d0ac688931ffa503aa5bcd36e","datavalue":{"value":{"entity-type":"item","numeric-id":2893087,"id":"Q2893087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038477$C80471B5-88C4-4BF1-803C-7F54894F0F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a724f949c17b924c8494e37074e4105fd4efb074","datavalue":{"value":{"entity-type":"item","numeric-id":5449591,"id":"Q5449591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038477$472033A3-C69C-47CD-9D2D-A76D92006962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445ffe708f46664a7fb3c95abfc0aea70b84e1a2","datavalue":{"value":{"entity-type":"item","numeric-id":2893101,"id":"Q2893101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038477$C480D0A9-876E-474D-B2B1-BBAB6B9AC656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68fff7cd23dc9fed5e2bdbe657efa6e902461ce6","datavalue":{"value":{"entity-type":"item","numeric-id":2893092,"id":"Q2893092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038477$B4507512-0E8E-4C9B-B6E3-52398A03A190","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6711b310501e18bdf9908fa754cc4d5b9985dfef","datavalue":{"value":"W4291746025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038477$B34FB164-3FEB-40D1-93C0-29872A692780","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"e68c451775d8e2699e023b1b9b74a9d21a410b77","datavalue":{"value":{"entity-type":"item","numeric-id":57038,"id":"Q57038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038477$772DE5B3-7B84-48C5-96B7-26E59C249093","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5038477","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5038477"}}}}}