{"entities":{"Q702096":{"pageid":703945,"ns":120,"title":"Item:Q702096","lastrevid":63736683,"modified":"2026-04-11T15:11:50Z","type":"item","id":"Q702096","labels":{"en":{"language":"en","value":"A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2128512"}},"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":"Q702096$B9265F24-F7A2-4503-AA21-0FD7EA80AFBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"001e872b1d5184742495d0e99f775a5db56d6f5f","datavalue":{"value":{"text":"A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q702096$0B2D8527-1657-4F63-A6BA-7726C26700F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b518c3d5b33db4b978ba18337e3b86b871364449","datavalue":{"value":"1095.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702096$5BC3CAE6-8F8D-4B28-A4C8-8428F500A8D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e78cab1e322da7395f1740c11b5122933760076e","datavalue":{"value":{"entity-type":"item","numeric-id":556842,"id":"Q556842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702096$8436223F-E1D4-4825-84ED-C7FDF1F9F168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cdc39c76becc92d243187bfde227987cc6857e2","datavalue":{"value":{"entity-type":"item","numeric-id":556841,"id":"Q556841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702096$83935D93-8A48-43DC-8EBA-7DE3E28570CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3287e6210682ed67b583792b5c99d534c94ec6ac","datavalue":{"value":{"entity-type":"item","numeric-id":246588,"id":"Q246588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702096$B347F194-8144-4ACA-9981-EF38AD904B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d4bccdf7c2b388b6e3e888805bc1f0030b29c7b","datavalue":{"value":{"entity-type":"item","numeric-id":1403341,"id":"Q1403341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702096$32FA63F8-4FA2-4955-91CF-54516CA8A6F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702096$759926FC-D8DF-4C10-8933-D574EEEFC9CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37e0c96c2448c107e8ba1ab758a77fd0ef8e40ee","datavalue":{"value":{"time":"+2005-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q702096$0AABE964-31E5-421F-8802-4E348089DD1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702096$BBB9FD21-15A9-4302-9381-0E293F0122E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702096$1463365F-B9A8-42D6-B29F-74673E93A6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702096$5E0CCA28-6562-4924-B490-A923C086B552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702096$4E8A580E-4A3A-4E04-8A26-5AC514F2088C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed869b4f39e807807bf574eab7ae4a24ed13278a","datavalue":{"value":"2128512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702096$7268DCEB-C2BE-4AE2-BC51-4ED16D851DDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q702096$414FAC90-4DF4-4A14-B86D-76C7A1105AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q702096$855CFC14-5AF5-47B9-ABC0-BA466B92EE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a47816c20c98aec119a7651de52eb7edf2e87793","datavalue":{"value":"implicants","type":"string"},"datatype":"string"},"type":"statement","id":"Q702096$433A23D0-A2F1-4F8B-8A7E-8208E4FB0A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06cf9711c6390395a60b61ca8ecf0b9b2bef1aea","datavalue":{"value":"lattice theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q702096$01A1ED6D-5CBE-4EEE-882D-F87DEE526C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f00fe20d293539dac57296050fee9e8f5f53a1e1","datavalue":{"value":"multisemilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q702096$A32C5AFE-AB0D-456F-B6D7-D96C1B80D39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc19fcadf63d5548906f3f01b182b6da6ae1fc8","datavalue":{"value":"ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q702096$73A19465-36CE-40FB-8E4E-E3CE85DD9217","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":"Q702096$4F463BC2-E1A7-4235-A4AC-F1B528C4D832","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8340683edba38413e03074a9680658b97134e76e","datavalue":{"value":"https://doi.org/10.1023/b:amai.0000038312.77514.3c","type":"string"},"datatype":"url"},"type":"statement","id":"Q702096$D6E71849-CC3C-4D84-A5B0-59A2E486B76D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6a3e2fac6a9688eb732b6c4f34956b7d635092a","datavalue":{"value":"W2024614677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702096$262D7778-153C-4CB8-AD40-0D8BDA843AF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68c46fa319aeeb4bbb4c8564d36a28e45f48a647","datavalue":{"value":"10.1023/B:AMAI.0000038312.77514.3C","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702096$4FBE2672-84B9-47E4-867C-81CE4D4B3702","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c26776c310ad31e32020f1922147b7f09daa5cc","datavalue":{"value":{"entity-type":"item","numeric-id":4494319,"id":"Q4494319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c120a76a78948db77b9a3c39e84887e1d07ddd5","datavalue":{"value":{"amount":"+0.8042053580284119","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":"Q702096$1CF68DB4-75BF-4E87-998F-A9A2A2651ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f7954635fa220747d904c3172f452dc95077b7d","datavalue":{"value":{"entity-type":"item","numeric-id":4453161,"id":"Q4453161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57c999ada57dd527677d1681861dcdea2cce606e","datavalue":{"value":{"amount":"+0.7945000529289246","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":"Q702096$D55F331A-1198-46B5-8EEF-EA578E1F8780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121e174d765278f71e0738a3ce7d7b341a3727cd","datavalue":{"value":{"entity-type":"item","numeric-id":5389723,"id":"Q5389723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd4c49921bb3381cfc229798d2f6be056ff81bfe","datavalue":{"value":{"amount":"+0.7702581286430359","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":"Q702096$D2FB65EA-36BC-4014-87BE-93C9E86AEAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e023f813272b5895fae615af14a6b7b4a864a389","datavalue":{"value":{"entity-type":"item","numeric-id":4236210,"id":"Q4236210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb03068ae299c4323d93087df7d368d29374934","datavalue":{"value":{"amount":"+0.7481887340545654","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":"Q702096$F0DB997B-963D-4527-A05D-51477DA10CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb2229669619a4d5bb807b3e3935d30603cd4f1","datavalue":{"value":{"entity-type":"item","numeric-id":4537504,"id":"Q4537504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb03068ae299c4323d93087df7d368d29374934","datavalue":{"value":{"amount":"+0.7481887340545654","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":"Q702096$7BB9E15D-F2C3-473D-9CEA-C7ADC1A1223D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_algebraic_tool_for_automatic_theorem_provers._Multisemilattice:_A_structure_to_improve_the_efficiency_of_provers_in_temporal_logics"}}}}}