{"entities":{"Q6570938":{"pageid":14182093,"ns":120,"title":"Item:Q6570938","lastrevid":55707682,"modified":"2026-02-17T21:26:06Z","type":"item","id":"Q6570938","labels":{"en":{"language":"en","value":"A semantics-based determinacy analysis for Prolog with cut"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7879782"}},"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":"Q6570938$860192AC-DA85-4ED9-AD5A-03ECA5471A85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d80d91f6caebdd469d75dbe32e7b00d2ac8f188","datavalue":{"value":{"text":"A semantics-based determinacy analysis for Prolog with cut","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6570938$4D70BAF0-0A1A-460C-9852-9A6D20B17D1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3d120e3795eef95b55bd08a8aa4e4568b9f6b85","datavalue":{"value":"1541.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6570938$C668085A-CC26-4B9E-BBFA-D8D8CBC99C5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"192536ed9aa1224ce8deedc563d2eeab3c73f125","datavalue":{"value":"10.1007/3-540-62064-8_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6570938$22558418-2176-4063-B4A2-5CAE5365539D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5739c0b7089a36f22ae77f5d3b0014f6bba71712","datavalue":{"value":{"entity-type":"item","numeric-id":1702405,"id":"Q1702405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6570938$B60AFC5A-C907-4234-9806-F8E0097DB276","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7a7e8d5beae875d65911ecb19a300672a6d0b96","datavalue":{"value":{"time":"+2024-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6570938$B99547FB-2A2B-4BAE-AED3-36B93BE21340","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6570938$62BF7D74-2A49-43D7-8F75-A086D629BFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6570938$77F5C90A-ED8F-4CEC-B2AF-69DD02BDD033","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a28f25d2388f228876ff6cc30e75f7342522daa","datavalue":{"value":"7879782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6570938$E355C52B-916B-4C31-915C-874CDC485269","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":"Q6570938$9D36FEFD-570E-4E85-BA83-4DFE7885E213","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"673b4c7ae8a199b2173754a4cabb2c5688edff4e","datavalue":{"value":{"entity-type":"item","numeric-id":3769948,"id":"Q3769948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6570938$6A1FEFDA-00C1-41F6-BB1E-15497D45C838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6570938$3A122F55-07D2-4AED-8CD6-6CDE45B95A99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f019cc73cdad5e0f2e8eee25bc06340b751f92a2","datavalue":{"value":{"entity-type":"item","numeric-id":5170718,"id":"Q5170718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceb4cedb3e7fad94d89baf88ba4a822092ea06a1","datavalue":{"value":{"amount":"+0.8692916631698608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6570938$B445B192-5A13-4201-8A73-1A413D328E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ff45b691a4c2d08a9e78be0657663cf5915fbfd","datavalue":{"value":{"entity-type":"item","numeric-id":920622,"id":"Q920622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83d2094ff2db74bc098375efee299632139edeb","datavalue":{"value":{"amount":"+0.8321805000305176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6570938$5A407596-1D05-45F4-825B-8FC3A88D6D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60daddf52c836d83a7bd94396f9f16ce1390494f","datavalue":{"value":{"entity-type":"item","numeric-id":4282511,"id":"Q4282511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65a2fe04277ffc02cbc314cb50e46134aa07006f","datavalue":{"value":{"amount":"+0.8317596316337585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6570938$D0253D2F-4AF6-4232-BDFC-71313C7A237B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f06214f1831b6095f2fb1e6001989cea672daf","datavalue":{"value":{"entity-type":"item","numeric-id":4452611,"id":"Q4452611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f67fe929c2c4397dfc36c22bd7c21f4d58f0da37","datavalue":{"value":{"amount":"+0.8232250809669495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6570938$10C3114D-5818-46DC-86BE-4D91F627B056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1bba629062d2073713cfb388f6fd58b033cde29","datavalue":{"value":{"entity-type":"item","numeric-id":3087441,"id":"Q3087441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caf8ae55d8196e6c102f1527b43abbe2e58a20e5","datavalue":{"value":{"amount":"+0.8203160762786865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6570938$02A1D2CD-0F2F-4514-AB18-7537750E7AB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6570938","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6570938"}}}}}