{"entities":{"Q3165757":{"pageid":3176473,"ns":120,"title":"Item:Q3165757","lastrevid":45588223,"modified":"2025-12-10T22:36:10Z","type":"item","id":"Q3165757","labels":{"en":{"language":"en","value":"Writing out Unifiers in Linear Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6095698"}},"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":"Q3165757$ED3A371C-54D7-45C4-9911-6B34A164BD9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b886afdfabb66b3b33c2f60a5fbfe6641f13b33a","datavalue":{"value":{"text":"Writing out Unifiers in Linear Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3165757$F13488E3-7732-4D7C-A4BD-BEAB01034B3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0be90c86de3ceeaa81ee2b1e5c27eca4ad16d713","datavalue":{"value":"1259.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165757$66D1D046-C799-4560-9BFC-16C8D8D82E68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab32e99fedf2a409351a0b6b4a08c5ad35e44985","datavalue":{"value":{"time":"+2012-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3165757$37A5C67D-E990-4993-BCA3-D590A01FB2B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165757$6B90D361-9C56-4435-B6D6-042C5E66E0C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bab75ecec0d6f98422fc5e1dc5a6f26b3c54ab03","datavalue":{"value":"6095698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165757$7A2E1615-3495-4CA2-B908-543D29FB5A6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165757$2E82973E-7A01-4771-ADB8-C97181191E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165757$910B3E12-D627-4FC5-9375-E8E2D8C7EFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165757$27377CAA-F439-4133-9682-03A1947AEF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d4e6ec29b8f7b2c28a3e0de1972482c846ebb7b","datavalue":{"value":"most general unifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3165757$08E788AE-7B4D-46F6-B3CB-F3A0C03F6965","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165757$ADC27175-3A06-4F85-BB17-A52D108958F1","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":"Q3165757$0838B837-0700-48AF-8550-1041058DDC69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0da58c5265a5668f04c665d955ff62fd16bf539","datavalue":{"value":"https://doi.org/10.1093/logcom/exr022","type":"string"},"datatype":"url"},"type":"statement","id":"Q3165757$83FCD249-8326-47AC-A2C8-410D56FD439F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da55bc21969d6b6cc9590cf457df394ab290bd75","datavalue":{"value":"W2089585942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165757$F91E74ED-4EF7-47D9-8BE9-9CA1C3F39E78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8908bd246e86784814d3e7bec836652e5ba2c6b","datavalue":{"value":"10.1093/LOGCOM/EXR022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3165757$12D29365-BEFE-4047-95DE-2954C5504238","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3165757$B84049AA-35F4-4200-B080-C7C550055BB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f824eeedb981c29192c20ddb9b16f8e6447c86b","datavalue":{"value":{"entity-type":"item","numeric-id":716499,"id":"Q716499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2303878f1c366760f72079d666a03ca861045c86","datavalue":{"value":{"amount":"+0.91795444","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":"Q3165757$6387F4BC-189D-4B33-B881-033C679C78EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b0381463c53bb66c44f66246b8460a24fa8439","datavalue":{"value":{"entity-type":"item","numeric-id":5411415,"id":"Q5411415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58bd109afe24478b1aceb167b04f97653660bfe1","datavalue":{"value":{"amount":"+0.87870497","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":"Q3165757$F9D7EAB5-9BF1-4B30-B884-083AF98473DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d87b330d0cf51c443d9dddaca849be813ed5d019","datavalue":{"value":{"entity-type":"item","numeric-id":2661764,"id":"Q2661764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e904f05d2bacc374e9bf18b26e0d228adc2ef5bd","datavalue":{"value":{"amount":"+0.8786764","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":"Q3165757$FD3E39A2-F252-4CBB-8F04-26C1E4152F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780549fdf9d02a1bd45c1951154a81aa837439e9","datavalue":{"value":{"entity-type":"item","numeric-id":2908502,"id":"Q2908502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca5d559eb5ea025cba3e010a5d44f5abb8df4965","datavalue":{"value":{"amount":"+0.87728673","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":"Q3165757$33DBABE8-CE15-4F80-8F31-0C37E1871564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7810a460b7ebe52934e8dff313eadadff86429f0","datavalue":{"value":{"entity-type":"item","numeric-id":2686105,"id":"Q2686105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6495faa46c4b3f18f8d28e0e3dee0e3836a23476","datavalue":{"value":{"amount":"+0.8762151","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":"Q3165757$B19566E5-B993-476F-B103-9E931C9350F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4436c6e06aca72863fd981766dd1bfd55a68850a","datavalue":{"value":{"entity-type":"item","numeric-id":4925166,"id":"Q4925166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36688b209e137b56c6d0b0c4e283808216dea920","datavalue":{"value":{"amount":"+0.87309825","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":"Q3165757$3FD921E8-F0E4-4AAF-AB9F-2995F3201AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4a7012ca2bd562a7e57df0b315383bccdc5bda4","datavalue":{"value":{"entity-type":"item","numeric-id":2300079,"id":"Q2300079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6969ac54ae71b9e7b12f4255917b68f90b3c31df","datavalue":{"value":{"amount":"+0.87234986","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":"Q3165757$64E79745-33E2-4A76-90F3-E91795E52C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1bb2fe425b7d6d7f9101bfe5c99726606a28a35","datavalue":{"value":{"entity-type":"item","numeric-id":3507374,"id":"Q3507374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cec9cb32fd7a28188c81853aafe3c31020594c4","datavalue":{"value":{"amount":"+0.8674683","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":"Q3165757$74D31B64-1E44-4A9C-A759-82FAA4CC14C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c3cf63675bdebc255e4dac81c6382a2be87e092","datavalue":{"value":{"entity-type":"item","numeric-id":1882794,"id":"Q1882794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18659c56c23e05bee85e8d200098bd5bd41f8aad","datavalue":{"value":{"amount":"+0.8650363","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":"Q3165757$86737F11-6097-4CD5-8774-330FDD2FDC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66f70895ce08b6477847802666678ab7e3b82e5b","datavalue":{"value":{"entity-type":"item","numeric-id":6113977,"id":"Q6113977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d02784ac3f9c65611a8ecf9529a9fe4db3a70c2","datavalue":{"value":{"amount":"+0.86430955","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":"Q3165757$B993DCA1-0F21-443D-8E1E-46846B84A212","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3165757","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3165757"}}}}}