{"entities":{"Q4029601":{"pageid":6059341,"ns":120,"title":"Item:Q4029601","lastrevid":55217236,"modified":"2026-02-04T22:40:40Z","type":"item","id":"Q4029601","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 139622"}},"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":"Q4029601$8060AC59-F481-4EA1-B949-82E36AD2079C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65234489878f0c31792f6d83228af1708c2ea992","datavalue":{"value":"0761.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029601$8E8F91FA-4322-40B4-B057-36E85A05770A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e126f0a627a644e456ce20a058877c46ad749c68","datavalue":{"value":{"time":"+1993-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4029601$27AB34AD-2F2F-44EC-B91C-8824E0B0C9BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029601$383606B1-CBD7-496E-A06E-E5571D5BEDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029601$02995FA1-4314-41CA-A2C8-31A990FC1181","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77172ab06f66063b1c79307451a266052378da15","datavalue":{"value":"139622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029601$42786CF0-0DAB-4A74-9C24-4FDBA0B3984B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b28556cc87db6d65020982562b393f6fbdb98277","datavalue":{"value":"Herbrand universe","type":"string"},"datatype":"string"},"type":"statement","id":"Q4029601$51145EF1-74C3-4652-BE94-E3DE7FF6A5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c684c527af3979997ea37dcd232097f7091ef06","datavalue":{"value":"Herbrand base","type":"string"},"datatype":"string"},"type":"statement","id":"Q4029601$BA5E1DA8-E90A-464B-9A62-2CEE675B8EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dbbb58332851eb0eb12a566009123201539d315","datavalue":{"value":"least fixpoint semantics of a logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4029601$D9564009-9CCD-4984-B6E8-C7BA0B1A11FF","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":"Q4029601$DA33F4DD-186E-415B-86C6-0158AE78CD7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69774367d5a74f4b463c400a62bd6a629de91fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3221399,"id":"Q3221399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b751bdf4a6ee02a46282721b45779d8004a4396f","datavalue":{"value":{"amount":"+0.95613694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4029601$EA314DDE-D979-4BFB-868F-9FD31D194901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e21703316029a48f680ce4628a2ccc610d2a76","datavalue":{"value":{"entity-type":"item","numeric-id":1924787,"id":"Q1924787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37cc3719626af7113acb763fa797f615f2c3dd5c","datavalue":{"value":{"amount":"+0.93783337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4029601$3EDBDA3D-30AE-419F-95B1-F5A6F189FDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33992471dbad5f66bd0634315b5a2abfd61c4083","datavalue":{"value":{"entity-type":"item","numeric-id":3780493,"id":"Q3780493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b61e930ede019871a4b2191f5b8dcd5daf3e9f4","datavalue":{"value":{"amount":"+0.9334113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4029601$6C4740CB-6537-425E-BCAE-1A670A5502E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533086404a1e35f8cd135d532dd761cc0f318725","datavalue":{"value":{"entity-type":"item","numeric-id":5204339,"id":"Q5204339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f60e99d021621dd9ef9f6048c9d4fdac18f646a","datavalue":{"value":{"amount":"+0.9296561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4029601$22D22D38-7AA5-4F6A-8089-B25CB09ED532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0099a73ee3131f8602b2c524555c088da016288b","datavalue":{"value":{"entity-type":"item","numeric-id":4395562,"id":"Q4395562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e393134af4ceab15d6d3f719bfa579181faa369","datavalue":{"value":{"amount":"+0.91975135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4029601$5D0CFC29-5864-4337-9D1D-F78C8BD06792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"408e2c006bcd3fcf2c6122adb3e70d16b183d84a","datavalue":{"value":{"entity-type":"item","numeric-id":1924779,"id":"Q1924779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22ff9fdcc570c11bdfb1ef920fad14cbb5608fbe","datavalue":{"value":{"amount":"+0.9196346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4029601$CD636AB8-7A04-4E8F-AB2F-6648F550D90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e361e38977787cf16bbc51fd0c1b8fdcbb76d9b0","datavalue":{"value":{"entity-type":"item","numeric-id":672337,"id":"Q672337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146aae7a34142438e9a1b2ab22852df2a852779e","datavalue":{"value":{"amount":"+0.9191972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4029601$D7E455AC-F3A3-4113-B531-92D3710049F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1bb4f9903314155d75bff5f10a98dba7de75733","datavalue":{"value":{"entity-type":"item","numeric-id":3090859,"id":"Q3090859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de39e60dc701c4a9f653bed5c13769cdae6e828d","datavalue":{"value":{"amount":"+0.9184011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4029601$77B43F7F-3DB9-432D-A537-D531FC537DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40bb5effbdefa8dfa29d828f19906f2da69a9363","datavalue":{"value":{"entity-type":"item","numeric-id":3827989,"id":"Q3827989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd5f66036e868b24f106acef24a6376a003d86d4","datavalue":{"value":{"amount":"+0.91828936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4029601$E2839D62-8F18-4AEE-BC9A-9CB85B483014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5be94989e95a5b692ec27555420d25bc46d4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2949713,"id":"Q2949713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"173d939243687ddb8818271bcd29a6af34bcfa19","datavalue":{"value":{"amount":"+0.9180479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4029601$08AF878C-98D9-4014-A9DE-5D4C29620165","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4029601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4029601"}}}}}