{"entities":{"Q5277705":{"pageid":7307280,"ns":120,"title":"Item:Q5277705","lastrevid":40964119,"modified":"2025-04-16T08:25:50Z","type":"item","id":"Q5277705","labels":{"en":{"language":"en","value":"Termination of simply moded logic programs with dynamic scheduling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6743949"}},"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":"Q5277705$2862199A-F71D-4253-959D-AD078B10BFC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac9775204a2d7594047f47ee09868c8e5ca94c21","datavalue":{"value":{"text":"Termination of simply moded logic programs with dynamic scheduling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277705$73AFB95A-7EE9-4309-BA29-BE229A4F5509","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"227890b60ab8fbc76ffaf635b150d5b35e48b806","datavalue":{"value":"1367.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277705$D5900099-D0D3-4452-8676-155939092D31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00b9e0825592c25f0224db52a9893cc794ce97d8","datavalue":{"value":"10.1145/1013560.1013564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277705$D60EC4CE-75C8-4CCF-AE46-ED534100BE27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8746e3e542fcb2c86c5c4dd73da00ffe7d92d6ab","datavalue":{"value":{"entity-type":"item","numeric-id":1035701,"id":"Q1035701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277705$236E181A-0EF5-4DFC-B122-60A21093B7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b0b6ace7606b0d0b5fc1a4f6acabcb2d7f859d","datavalue":{"value":{"entity-type":"item","numeric-id":671647,"id":"Q671647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277705$63735275-01A1-440E-99EF-FF812516F7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b530460b6f0f5f8902bd35bb6f03a8ffe1d4a3fa","datavalue":{"value":{"entity-type":"item","numeric-id":832088,"id":"Q832088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277705$1546EB63-77D1-466A-8112-0370FC274713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94641c8c41609ae12c24fccaf13910d4ca73205e","datavalue":{"value":{"entity-type":"item","numeric-id":2723917,"id":"Q2723917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277705$78C9B835-DC7C-4776-A91E-FC20A4FEAE6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277705$8D4E167A-4616-4F31-A0E4-25D23BE8D970","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277705$BD21FB69-861F-4FF8-B1BF-F158A6FAC940","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277705$16F365D3-5E2F-4850-9C8A-2ACE2337192F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277705$D107D0A8-0D5F-494B-AC8A-873D3CC65AD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd6b08eae2cc310a65c80544da94e89a525e6da4","datavalue":{"value":"6743949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277705$0B3A0136-830D-4ED1-B818-A8C41DB1A715","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277705$6B3450AC-80B2-4DB2-B73A-6B7993C34F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c172725a29fdf5bad31467e9a432be375901aa5","datavalue":{"value":"dynamic scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277705$CB7367A8-6FD9-4C46-9866-3201BCC2E22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"148b981cd349956589e866619205069ae454f414","datavalue":{"value":"simply moded","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277705$999AF29D-D52C-4B8C-AA54-4E14EA8B9128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277705$BCACDB8B-4931-4676-86A0-43E4024AA29F","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":"Q5277705$B81B88DF-A971-421A-B737-1DDEBF2B6042","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"399b0a9c1000078c50dfa6cdbc62207946c9f284","datavalue":{"value":"https://doi.org/10.1145/1013560.1013564","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277705$508A54FD-1209-4EDA-AFC9-4A90B2A8274B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5474bb6c1c78af9a47e0fb4de446828b65f9a874","datavalue":{"value":"W2154930848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277705$CD9E2DFD-9426-42F0-939F-FDEF9ED0C221","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f583854c83adf91f6360bf2b41e58c0003de2c15","datavalue":{"value":"Q130892406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277705$A7409621-4D1C-4722-9229-63502FE87309","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a237181abda6172900d0bf7a06d771af37aef760","datavalue":{"value":{"entity-type":"item","numeric-id":2763687,"id":"Q2763687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0d285665b0e9b6a4481f21fe0722d92c8042182","datavalue":{"value":{"amount":"+0.97182673","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":"Q5277705$DA4566EA-6D83-4A78-BD42-C837FE374B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e990010cf956d397a11e24d446363cf8d1f82cd9","datavalue":{"value":{"entity-type":"item","numeric-id":5941756,"id":"Q5941756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fbb290d4ac65803c8f7cdd696329697182856ce","datavalue":{"value":{"amount":"+0.8898572","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":"Q5277705$608BD3B8-302B-4521-AC70-854DDBC1F4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b18d472ac45abd0df1c2cf0650e49ec36ec49ad","datavalue":{"value":{"entity-type":"item","numeric-id":5452190,"id":"Q5452190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4305657728a1db4f7862ce5d37312ef7d693a1ef","datavalue":{"value":{"amount":"+0.87725264","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":"Q5277705$B468042D-CF58-4054-B7B6-5F1868ED4E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a73f1b7d1e00ad4570ce0bd85dbcd2d050c4c4e7","datavalue":{"value":{"entity-type":"item","numeric-id":5313208,"id":"Q5313208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"318d561e1b5f2cc60acbc87fa0b15b1487502539","datavalue":{"value":{"amount":"+0.87666994","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":"Q5277705$723F0AEF-22F9-4D86-8EEB-15549DD6ACB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dad0c147821a4e6c660bdc484df1843b264d7131","datavalue":{"value":{"entity-type":"item","numeric-id":5267437,"id":"Q5267437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f3f20d39165bef903bd06eccde031df4600f95f","datavalue":{"value":{"amount":"+0.87574136","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":"Q5277705$484784F0-2B24-4A1F-948C-07625B304111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"788cd0c6b0ca65ca6d53bca77a703b77b7bb782b","datavalue":{"value":{"entity-type":"item","numeric-id":4700387,"id":"Q4700387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400593586eee25edeedf09838dc058ccdaa4c046","datavalue":{"value":{"amount":"+0.8756245","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":"Q5277705$BEF11F91-5181-4F20-AC49-807AABD63EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13269822f7e8c8692ae6169da5d61dde2517308f","datavalue":{"value":{"entity-type":"item","numeric-id":5277806,"id":"Q5277806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c28bc54ef46b0262a17b872d18fbb325911f025","datavalue":{"value":{"amount":"+0.870876","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":"Q5277705$51A3A7DA-8AF1-4A96-8397-674328E6D7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79692890c8cf4e9bc54f5d24e029d6dca351b5c7","datavalue":{"value":{"entity-type":"item","numeric-id":4572011,"id":"Q4572011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e761db2452a15ebf2b7c6cd2c5fa03ae0a1450ae","datavalue":{"value":{"amount":"+0.8563575","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":"Q5277705$79111FCF-694F-44F1-AC45-73D70E01D2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62a09014be5455af40cd1d4e70d143ff2847c67e","datavalue":{"value":{"entity-type":"item","numeric-id":5030189,"id":"Q5030189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"158ccb8d169039dc881ae63704d177741f0a8c63","datavalue":{"value":{"amount":"+0.8551094","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":"Q5277705$3C8EE9BD-BFBD-4614-9366-D13BD75885DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277705"}}}}}