{"entities":{"Q4236063":{"pageid":6265664,"ns":120,"title":"Item:Q4236063","lastrevid":46588734,"modified":"2025-12-25T03:14:07Z","type":"item","id":"Q4236063","labels":{"en":{"language":"en","value":"Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1268514"}},"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":"Q4236063$813DE0AA-3D69-4620-95C9-1C3E6F38178B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faa74c78bb2038eb5ad9f3880d6310487ab7ecc4","datavalue":{"value":{"text":"Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4236063$452C037D-D1C5-4385-A65B-28E862D8D626","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7215804a0f488e595626e203062a800ebe0a89e","datavalue":{"value":"0917.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236063$0E727883-2097-4690-865C-0C77A1532067","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"681f56c623957fcfdc1655500012f774777af31f","datavalue":{"value":"10.1080/11663081.1998.10510936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236063$866602D6-11AC-4C7A-9D64-E40C7B0F752D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236063$3A426DBF-FDC1-42A5-9FEF-84AF23EB4F4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d984021e434aeb026202aeb4375e73e79212a851","datavalue":{"value":{"time":"+1999-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4236063$5B591227-88CF-4D6F-91B7-A44D63B2931A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236063$09D16F87-6774-4720-94CB-5C53CF717265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236063$6A5E77CF-6EED-4381-94F3-CB710420E72A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5ebcecc2b28796f96242507f614bf5b8a142480","datavalue":{"value":"1268514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236063$137AA053-508D-4DA7-A7DC-FC1F8624188F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c5ae0b9d15e3b29aaad4ce23177479cf80315df","datavalue":{"value":"proof theory of linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236063$249EBBA9-3DE2-458F-9924-9D90776F2FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"141f213385ceb257b41cbd8556f3ba1d7ce89fff","datavalue":{"value":"first-order linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236063$DA4772C0-89E1-4F0C-AF6D-AE5CDC76BEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcdef9e732955635dd58a36bcadb7905eaa485a2","datavalue":{"value":"similarity saturation principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236063$8D9767FA-34B1-4F86-8A8C-76C84443BA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3434668e9d1ee75db866cf80a9d6a1db88eaca31","datavalue":{"value":"saturated sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236063$41EA69A3-31FE-45D4-9F3A-27DD9D29A8B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e7860b5f5f8e3f51d43313692926606ec1d28de","datavalue":{"value":{"entity-type":"item","numeric-id":1344879,"id":"Q1344879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236063$41E0A627-986B-4E6F-8FFA-6D9B60BF0E5B","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":"Q4236063$8FD8407B-08C0-4323-9695-25B8DD91D2B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f974573bd94f56129316b44f43cc448fe4d3c81","datavalue":{"value":"https://doi.org/10.1080/11663081.1998.10510936","type":"string"},"datatype":"url"},"type":"statement","id":"Q4236063$27011604-1517-49C6-B81E-C95E16F9D5B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f4a2b51d0a34f20ef26adfcab441192a6f030ca","datavalue":{"value":"W2045428272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236063$78D60ABE-2B47-4560-BE73-7B5324BC4202","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1c6acb31205ce7e236213c9d48443cc38913af","datavalue":{"value":{"entity-type":"item","numeric-id":4264717,"id":"Q4264717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236063$4E71284F-DA01-467C-9C4D-B62447B92A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4933c393e0df0da8bf72b1cf018c0c8fde2fe994","datavalue":{"value":{"entity-type":"item","numeric-id":3751561,"id":"Q3751561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236063$536A0997-8ED4-4FCC-B0D6-F44F477BC37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e0c6f1c44c0d31cf2a29eb9f5117ac9e36ddcd","datavalue":{"value":{"entity-type":"item","numeric-id":4260367,"id":"Q4260367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236063$81890C1F-F55D-4FF8-B233-AE09BAA7896D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aaa7c2a801938246bc5b9c35ae533855c08aea3","datavalue":{"value":{"entity-type":"item","numeric-id":1090673,"id":"Q1090673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236063$994A5373-7830-47EE-8018-2C9BBFCB9B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c56abf17fe38c9d6f19bb07c76c7c037b3d964b6","datavalue":{"value":{"entity-type":"item","numeric-id":1102941,"id":"Q1102941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236063$198A59B9-890D-42EF-9F6A-2FA478460DDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691e232d64737453bcda8feccf686c56e7a87f1a","datavalue":{"value":{"entity-type":"item","numeric-id":4282615,"id":"Q4282615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd2ef1ef3b76d59b03158409c5c219c4e44239f8","datavalue":{"value":{"amount":"+0.885503351688385","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":"Q4236063$448E25A4-63EE-4523-B371-EF9F954697AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4adcb1e52a149519533ba5f028bd31f12d151367","datavalue":{"value":{"entity-type":"item","numeric-id":4841298,"id":"Q4841298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103a4aabce355bba68ac95db6192e348f4ef3240","datavalue":{"value":{"amount":"+0.8797111511230469","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":"Q4236063$E82FCFF6-96DC-43CB-98E8-A05F1C8C798E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a9ff5cbd4b1bcd65a25f1817160a64c7a375e7e","datavalue":{"value":{"entity-type":"item","numeric-id":5236443,"id":"Q5236443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc5e77ac425fbc45d24cc0a7425897613535bbab","datavalue":{"value":{"amount":"+0.8583213686943054","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":"Q4236063$DF2574C4-4E7D-436E-81B8-6ECFA9B2D4D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4236063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4236063"}}}}}