{"entities":{"Q1354063":{"pageid":1364802,"ns":120,"title":"Item:Q1354063","lastrevid":68535024,"modified":"2026-04-13T00:23:08Z","type":"item","id":"Q1354063","labels":{"en":{"language":"en","value":"An integrated Prolog architecture for symbolic and numeric executions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1005854"}},"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":"Q1354063$E9E214BB-388C-4B64-81D7-0B09D1396219","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f6a4c7524173d89ab8ef9b69c5cc1f8de653cdf","datavalue":{"value":{"text":"An integrated Prolog architecture for symbolic and numeric executions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1354063$B2F0BFE5-C98B-4B27-9371-53053C53A1DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"058962e46b6fd3f9f08f8f1bea7f50384b1c7984","datavalue":{"value":"1004.68516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354063$CB5DC2AD-EB84-4B62-9337-2E3A286B2367","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71f71a4b0910185ffa65b6514783eb51a9e9c5f5","datavalue":{"value":"10.1007/BF01531175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354063$7916F2A4-11E8-4DBA-8C55-654F5F148EC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76d643eee8b77f664d80ad13bd4eb8a87af6506d","datavalue":{"value":{"entity-type":"item","numeric-id":1354060,"id":"Q1354060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354063$E49BD255-FFF7-40A1-BD3A-85C0C92999A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"631413b7ff4562ac1a66a9aeaeabe4f5e4ae073d","datavalue":{"value":{"entity-type":"item","numeric-id":1354061,"id":"Q1354061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354063$1358A5A7-B9B0-43F4-8F23-2DF6B6BD7F03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354063$DE076346-692A-4E31-AD41-19D0186F6A24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"253a0cc57300e2194fc1b5d1f13fbbc8bc97b0de","datavalue":{"value":{"time":"+1997-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1354063$2DC57A7D-5739-4131-8980-6D2DCB1196E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354063$F4456736-E4EE-4D3A-9E91-FE1B6956D05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354063$A5C0466B-309D-476D-B644-E2B221B64C06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8473b150c44d416922534e1b82a7fcf3f77016a","datavalue":{"value":"1005854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354063$8B436B32-4D81-4EFB-8640-AAC3EAB5CED0","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":"Q1354063$E9758337-1C19-4B45-BE68-77F19FEBE868","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72688b3b9f08c415bbb91657e53c50bc9b4c52ec","datavalue":{"value":{"entity-type":"item","numeric-id":3932272,"id":"Q3932272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354063$215FBA1E-CDF6-4715-BE57-D551E3A2082C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eea3379033d95d10e7258efcd15949aa3d949968","datavalue":{"value":{"entity-type":"item","numeric-id":3713481,"id":"Q3713481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354063$10131E2D-D551-4643-8281-88D233235232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632ed60565519e9dee14e61a64eebd4a38243da2","datavalue":{"value":{"entity-type":"item","numeric-id":5523306,"id":"Q5523306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1354063$843DB54A-6A93-41AA-800E-39ADCF4DF606","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ca6b8595ce56b7d9b482a99da7aa6ad2c7bc156","datavalue":{"value":"https://doi.org/10.1007/bf01531175","type":"string"},"datatype":"url"},"type":"statement","id":"Q1354063$4495DBC5-C4F9-46B8-9BB3-B09EEB3A9548","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c139cad100f5b08ece4331af073f484020d9187","datavalue":{"value":"W2066647616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1354063$CEC9F601-B9AA-4B93-9BB1-32CB987F2194","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An integrated Prolog architecture for symbolic and numeric executions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_integrated_Prolog_architecture_for_symbolic_and_numeric_executions"}}}}}