{"entities":{"Q4719365":{"pageid":6748942,"ns":120,"title":"Item:Q4719365","lastrevid":40701113,"modified":"2025-04-04T10:02:40Z","type":"item","id":"Q4719365","labels":{"en":{"language":"en","value":"Steadfast logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1383828"}},"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":"Q4719365$B563428D-BE14-446E-B8E3-4A742B40BF61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fe8f6ea62b950c0f33eb3b670560336ae5baa7c","datavalue":{"value":{"text":"Steadfast logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4719365$4E643668-B081-428B-8543-B42757CD7579","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43b9a87b9c06a7baee9cd38da91ac7b897fcb019","datavalue":{"value":"0937.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719365$D12B825E-34D1-4FAA-B30B-BD200E3222F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d88f95ba86a73ab09ab4b08f5a8d46386d1327c","datavalue":{"value":"10.1016/S0743-1066(98)10023-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719365$37B82932-6A89-4821-89B4-BE9D4FA9B0E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f768f98fe090cb0e10f573e4a1be742ce14b932","datavalue":{"value":{"entity-type":"item","numeric-id":1583856,"id":"Q1583856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4719365$BE839983-6550-4219-A958-0DD9A8627E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87d8083e5daeb2aefc31d533bbd212fa0607d03b","datavalue":{"value":{"entity-type":"item","numeric-id":583194,"id":"Q583194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4719365$D1013821-17F1-428B-84F4-49102FEF3B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4c302f4691999b12d94a6315b240517dbe64bc6","datavalue":{"value":{"entity-type":"item","numeric-id":1136245,"id":"Q1136245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4719365$F29DAB67-D88C-4DD0-A79F-6B472382D7CD","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":"Q4719365$B0B5A437-4B1D-42EE-9D06-EDC61164AE08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0132e21ad022268d8d4b41a82438346885545ef","datavalue":{"value":{"time":"+2000-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4719365$04DF11AE-07F8-4606-8FC0-B4A6FBBF1FBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719365$02247655-FD55-4DAE-B629-0F3A4EC114F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d68072239a6f2ad39948e88715b7aa842854e6f","datavalue":{"value":"1383828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719365$AC585462-8DCD-4B05-883A-AD06E9D56BB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfd7eee9ba3a3b474ad2e9fafaeaaff25511fb7e","datavalue":{"value":"steadfastness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4719365$FBC3D038-6CD9-4734-BDF8-3DDE1FF7881B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4719365$CE17639B-F97C-439C-95E0-C6770308DB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d12c1a9c30640b5f1c030a35941a155ab24d3c0","datavalue":{"value":"reusability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4719365$F482F4EF-2943-4E02-998D-D8F1C80540A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7a72ceb0084a1afe5920488280e0c7b247a344","datavalue":{"value":"formal correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4719365$710D5DD9-2517-4242-BA74-899BDE4F88AF","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":"Q4719365$E1146E92-69DF-40A5-B62B-65C464AB2FC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64bcdd0a548cde3af853742489f1fbbcc9b6fe63","datavalue":{"value":"https://doi.org/10.1016/s0743-1066(98)10023-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4719365$18674826-4DE6-4292-AAD1-C3F951242882","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc834f4f78b9300424a116f9121d5c50d38f05bf","datavalue":{"value":"W2051721947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4719365$45BE3DE7-DCA0-48EB-80FE-DA3C28E25773","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2900914dbd0247b0e06846cae5d7051cb89d51f","datavalue":{"value":{"entity-type":"item","numeric-id":4202944,"id":"Q4202944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eb13e0454b03196494004303dae90f3689a235c","datavalue":{"value":{"amount":"+0.8758691","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":"Q4719365$60C56266-5BF0-4EA9-A2BD-2EC5E6838A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86bb84870d00c37a5a2a73f098d13bcaba97e468","datavalue":{"value":{"entity-type":"item","numeric-id":4815031,"id":"Q4815031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"548fbb7b0dfffa6f826e0e4c69cc86d179a8973b","datavalue":{"value":{"amount":"+0.86343366","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":"Q4719365$C79D6A38-35DB-4888-AC29-F77AFDC9FFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f493728d7679715b42970806023897dd5507208","datavalue":{"value":{"entity-type":"item","numeric-id":3201745,"id":"Q3201745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0036ead0bb4636d907e0e43055effc8a1bb39b3","datavalue":{"value":{"amount":"+0.8491273","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":"Q4719365$20FBFC7B-FBD3-4175-92C6-9011EA294BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5f023a2e0d82622a4ef785b7fdbf2a2c57db9b1","datavalue":{"value":{"entity-type":"item","numeric-id":4015484,"id":"Q4015484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eab594714b285f052a9c91770b64b54c50af2254","datavalue":{"value":{"amount":"+0.84522593","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":"Q4719365$78E6BB20-C3BF-4C18-8D7A-579CFC5581C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b5d758ecd0bbf59d528b21e014ed780a0a234c9","datavalue":{"value":{"entity-type":"item","numeric-id":5890869,"id":"Q5890869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f4b6d6c2fbacfe806e355df4f01b0fdc0f93f40","datavalue":{"value":{"amount":"+0.8426961","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":"Q4719365$6EAF857B-E33F-4ABE-89CB-98FB5422EE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61ba82b1a4ddc577887e4afd4f64f6b1f446892d","datavalue":{"value":{"entity-type":"item","numeric-id":5918074,"id":"Q5918074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f4b6d6c2fbacfe806e355df4f01b0fdc0f93f40","datavalue":{"value":{"amount":"+0.8426961","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":"Q4719365$6B967BC4-7A71-4791-AFFA-68802D423615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df5041067bfbd35cec198af6aa22abf3a538aa62","datavalue":{"value":{"entity-type":"item","numeric-id":2909171,"id":"Q2909171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4edc26a50b0bbf7467ffbc3049e7bd381692626","datavalue":{"value":{"amount":"+0.84249336","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":"Q4719365$689CF86F-5242-4100-9461-7DAAFBE096DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9736431bac3667d058c7d617461366a3df5a2f06","datavalue":{"value":{"entity-type":"item","numeric-id":1070221,"id":"Q1070221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1291d37e85ffb81c64525a92423e35e3b252bd0","datavalue":{"value":{"amount":"+0.84130454","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":"Q4719365$DF8FC87E-4749-42E6-AC4C-C48F3D3673C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2cf341ef2b5f09685e06491a6b53d3efaed006","datavalue":{"value":{"entity-type":"item","numeric-id":1356224,"id":"Q1356224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f27f750e82b11018c80d1acfb3c69ba32fe54ae2","datavalue":{"value":{"amount":"+0.84128344","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":"Q4719365$E9C94D82-B70E-49EB-830F-BB6176A79400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650baf4386118cfb57e05eeef052dc63a7e2fa0b","datavalue":{"value":{"entity-type":"item","numeric-id":5449650,"id":"Q5449650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28cfe7bc1dcaeb5f76d215062c031d812f9296a8","datavalue":{"value":{"amount":"+0.8399539","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":"Q4719365$EB976E17-9FB9-48B0-858E-244E524D3FEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4719365","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4719365"}}}}}