{"entities":{"Q4909327":{"pageid":6938906,"ns":120,"title":"Item:Q4909327","lastrevid":51667229,"modified":"2026-01-19T09:08:41Z","type":"item","id":"Q4909327","labels":{"en":{"language":"en","value":"A linear operational semantics for termination and complexity analysis of ISO prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6144108"}},"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":"Q4909327$74BA3F1D-B6ED-4206-96B0-A7981BE8697E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9a0c763ed669d311bb09a1af694211afc246474","datavalue":{"value":{"text":"A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4909327$D8544E4F-1E13-400F-8828-2FFCBE764AEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4826db7698d8294771d5033ddca573a514962bf5","datavalue":{"value":"1377.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909327$31E8481D-6380-42F8-9BC2-8D241D0DF60C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"345bc9eb11b3e54f8949ff1822d9e6bf8afa7ae3","datavalue":{"value":"10.1007/978-3-642-32211-2_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909327$0CE92BB4-9C9E-456D-B39F-199BBDDB914C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d502f8409806637c1bdf4f049fbbcf18c395dc96","datavalue":{"value":{"entity-type":"item","numeric-id":1647968,"id":"Q1647968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909327$1EDA7072-67D2-4FA5-B828-36B927D68E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46954e25e8dfa4734990921b382dc03a75dfa019","datavalue":{"value":{"entity-type":"item","numeric-id":2351154,"id":"Q2351154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909327$C4ED9121-883D-43DE-A5B6-8160011DE449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee03ce229dce1ad90ba116368ba88145bf746ab","datavalue":{"value":{"entity-type":"item","numeric-id":340574,"id":"Q340574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909327$86AB4B0B-9F31-4DD1-A6BF-4498635C2906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909327$1FD1DFFE-C4C7-4C91-9A65-148B5ADE48CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5320a359c64bceee0a4053edac274f2ae03f2ee","datavalue":{"value":{"entity-type":"item","numeric-id":438534,"id":"Q438534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909327$52BAAA18-592E-45A9-B202-EA2EEAA6E020","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4909327$3CEB4ED1-5454-42CF-A5E8-21DA9DF01EB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1483deb76331c5364b733486f7a01dd6a7f43ab5","datavalue":{"value":{"time":"+2013-03-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":"Q4909327$FF5F5B28-B990-45C0-9295-A3FF2F00EAA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909327$C75FEF67-F622-4798-A76A-569FBB59947C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909327$7F6DCE67-6C2D-421E-9993-D1A05B9EB76F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2d542c622305d17205526f1a2a180fe5b40ccd0","datavalue":{"value":"6144108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909327$E6FFD725-A986-493A-AF5D-278FD6220384","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":"Q4909327$31B86D16-F58A-4001-8554-D9A007BCFBD5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c3a2770f5b44aebea246ba6d477b1f27fe2a118","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32211-2_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q4909327$3FF26CD1-57FB-4A0F-9998-D1BDCE563FB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f891d0693708316526e828209523668b5da195e","datavalue":{"value":"W2113956592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4909327$65BF9CD8-8404-4E05-8E34-37ED37BDF6E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a85b3d4be1b1623ba119924abc0ca411ba4acda4","datavalue":{"value":{"entity-type":"item","numeric-id":1311967,"id":"Q1311967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"095dee53346c5cb540697d2988b5e7e0f8f0002c","datavalue":{"value":{"amount":"+0.7914093136787415","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":"Q4909327$AAFAA624-A098-44DC-A965-096D74B1044C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97045977dd143e7f917122ca4146ed169ad5ba2f","datavalue":{"value":{"entity-type":"item","numeric-id":4010351,"id":"Q4010351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"095dee53346c5cb540697d2988b5e7e0f8f0002c","datavalue":{"value":{"amount":"+0.7914093136787415","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":"Q4909327$358057E3-FB18-464C-850C-51B6D8EE9B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a6871bb4f93841a4ae277d8bc757504300d976","datavalue":{"value":{"entity-type":"item","numeric-id":3976572,"id":"Q3976572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64e50c2c0387b18249005ce1aa63e1d1d1713d7","datavalue":{"value":{"amount":"+0.7863670587539673","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":"Q4909327$F8A47420-E8F6-47AF-806A-CE90101C5A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3178cb73ff98b71a72320218fd4758cc58c6bf75","datavalue":{"value":{"entity-type":"item","numeric-id":3976026,"id":"Q3976026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"945b3caf840c03f3176b8c242300f29d5ea3abf0","datavalue":{"value":{"amount":"+0.783630907535553","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":"Q4909327$1FFED48C-475E-4068-BD0F-CE1EFDDED991","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":"5514133b89f655294cbef755fc278e660a9c6c19","datavalue":{"value":{"amount":"+0.778401255607605","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":"Q4909327$9524FABE-40C6-4D84-B63F-54F94E134B0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4909327","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4909327"}}}}}