{"entities":{"Q4898739":{"pageid":6928318,"ns":120,"title":"Item:Q4898739","lastrevid":41752702,"modified":"2025-05-07T23:15:19Z","type":"item","id":"Q4898739","labels":{"en":{"language":"en","value":"Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6121111"}},"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":"Q4898739$4026E6BC-F2A2-4A72-ACE1-862FE9C1D00D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd246f8b35754d867f6d281b01509e5aaa7ac0b7","datavalue":{"value":{"text":"Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4898739$77F84A1A-382D-4C0F-922E-16309ACFC2EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2c8eb4ce9d3d4b60ae296845f01e38b3f59d39e","datavalue":{"value":"1265.68214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898739$60976638-0C5C-41F1-BFB0-358ED111AB4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d79de818eb4bf6e8880cc6ae4b548aa91543c411","datavalue":{"value":{"entity-type":"item","numeric-id":2142071,"id":"Q2142071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4898739$9F1964EA-CC2D-4DF8-8F70-B7EAEA943678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"409a4f2ab9db57c731e1640e7a0c66442614f477","datavalue":{"value":{"entity-type":"item","numeric-id":2909142,"id":"Q2909142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4898739$CA1AE8F7-2BEB-4AFF-9AC4-3A2AE4296E26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a48ab4f78ae1700d4809c5ff5f0191168fe3ff96","datavalue":{"value":{"entity-type":"item","numeric-id":2803044,"id":"Q2803044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4898739$B68F57CA-9450-4521-ADBE-E946A537B9E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9e78dc582cccb265eec7a023159b5315b28fd05","datavalue":{"value":{"time":"+2013-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4898739$0711BAA6-91F0-49F8-AE33-8B9133A4E2CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898739$F84C70B2-FF76-4B79-BCE1-E1E577936C40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"508ed0330c815efcd5c589af63afe8338978e38e","datavalue":{"value":"6121111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898739$82A71999-AE06-4C7F-BFC6-4986C6CC7BB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4898739$3FB7E889-958D-4830-BB02-23C7C11108F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4898739$5BF65B3E-3718-470B-8B8A-5955292F8950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b393cd7c85b417bbe8cfe76f7fd798f72b08bcc9","datavalue":{"value":"PTTP","type":"string"},"datatype":"string"},"type":"statement","id":"Q4898739$4A8841E5-AE61-4BEC-9BAA-63D7A49AEEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd5d1e83ec8f97b4a1346173c3fde4fd0756ef7e","datavalue":{"value":"loop elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4898739$49129CF5-53CC-4DFF-8157-EEB47D8B2B60","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"688eba81cb056dd5bd9a14f97160caacc67f3346","datavalue":{"value":{"entity-type":"item","numeric-id":18616,"id":"Q18616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4898739$F32D0595-2F93-4235-BD31-0A21888DA3C2","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":"Q4898739$7AC82DFE-9A8E-422B-97DD-778E0CE4E773","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df7ebaf033024c025d7c141272e4ec2d9efa5a1c","datavalue":{"value":"https://doi.org/10.14232/actacyb.20.3.2012.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4898739$941F5DAE-D6AB-419A-AAB7-DCEA6E33BB3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84cd68e7e97facba617b99cc3598bf87491136e0","datavalue":{"value":"W2406875351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898739$E1F9301D-8D5D-4EB6-B33E-1281EC802161","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adf2c88e6b7df32c5ef3dcd9d577a3834974ad71","datavalue":{"value":"10.14232/ACTACYB.20.3.2012.5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4898739$43F233D1-BAF8-47AA-9051-4BA7D4F66CC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d205aa890fd4b97bdd81ee6a8ff8d7fef37acca1","datavalue":{"value":{"entity-type":"item","numeric-id":4647531,"id":"Q4647531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf3b2909d60ddc20bf43fc679de9d8e1ba406102","datavalue":{"value":{"amount":"+0.8740412","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":"Q4898739$F5B7574A-3790-46FE-A2AB-E06D5AF517D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4418053e795a7f2fd48d66bea18b47267bbc9cb0","datavalue":{"value":{"entity-type":"item","numeric-id":2818027,"id":"Q2818027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b03663443912aa69c1f174189eb97115c6cc887","datavalue":{"value":{"amount":"+0.8596138","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":"Q4898739$4FE4EDE5-0CCB-4213-892D-D85F9D2C7680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3225641f01c2d8218483865e04de412376b91f5","datavalue":{"value":{"entity-type":"item","numeric-id":843219,"id":"Q843219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dcdbab5613e64c21f9709d59357cef606be1d1d","datavalue":{"value":{"amount":"+0.85019976","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":"Q4898739$A6B9EA64-C798-450D-9C32-DA5162CE68C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67d26d84ab24de658cd9675bef9d5c8db5cb8720","datavalue":{"value":{"entity-type":"item","numeric-id":1893733,"id":"Q1893733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b76c22a83c7a726c275091dfdcc6851d5ac7e91","datavalue":{"value":{"amount":"+0.8490728","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":"Q4898739$827A78C6-2D0A-453C-B880-F9EC43F4085B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca7df9ba513437a1a2d2deb6fbb96415c3743918","datavalue":{"value":{"entity-type":"item","numeric-id":944383,"id":"Q944383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2b466b77732a420102b699758dabc605a40ebb","datavalue":{"value":{"amount":"+0.8459972","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":"Q4898739$4DD2475B-6A55-46F7-8047-2B34B109361E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"632b7ffd94df20e865bb8de69beafde344ef356f","datavalue":{"value":{"entity-type":"item","numeric-id":5488611,"id":"Q5488611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1559b36601638315c13a26d9e191e5b24be5aa02","datavalue":{"value":{"amount":"+0.84396577","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":"Q4898739$CCA3C659-80CA-4796-B54E-D6FCF083977B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e4251c7d7c8287cb43fb5e0e28c5f0d5fdbdab","datavalue":{"value":{"entity-type":"item","numeric-id":1065537,"id":"Q1065537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f244c19dd0fbfd4566ab3b052a781848dcf8e2dd","datavalue":{"value":{"amount":"+0.8414353","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":"Q4898739$5849017A-2BE3-4067-AF2B-36F17D5ECACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d0595b0f9dc6032c161322f2b37b778b06b4cf2","datavalue":{"value":{"entity-type":"item","numeric-id":3747702,"id":"Q3747702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9730f958dfc985f6306189ba57d544eb643bbefb","datavalue":{"value":{"amount":"+0.8368774","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":"Q4898739$EF649FD3-6E11-455D-A49E-1FF8B2312A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0dc953e2dcc4cf82edec1058bba3f6d7da8e53a","datavalue":{"value":{"entity-type":"item","numeric-id":4770008,"id":"Q4770008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df0edbcccb6fb30f5616271875e087142f155509","datavalue":{"value":{"amount":"+0.83680415","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":"Q4898739$27BA6F37-590C-4120-A827-8E08DC2BAF0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4898739","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4898739"}}}}}