{"entities":{"Q2824415":{"pageid":2835153,"ns":120,"title":"Item:Q2824415","lastrevid":52639010,"modified":"2026-01-23T04:12:27Z","type":"item","id":"Q2824415","labels":{"en":{"language":"en","value":"Checking satisfiability of two-dimensional logic PPTL\\(^{\\mathrm{SL}}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6635011"}},"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":"Q2824415$6ADB19A9-83F5-424B-9613-E1C776F49297","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"323314a8a604afb9d7709fcba2b2d10d060a576d","datavalue":{"value":"1363.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824415$2A8CAA20-7300-44B2-8626-9E04D2C731AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bead7ac2a472d66f86a286aedbf376a64ca73b0","datavalue":{"value":{"entity-type":"item","numeric-id":1986560,"id":"Q1986560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824415$C799FD11-6A48-403A-B72D-5FB9D0E429CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824415$7A9ED449-6F00-44A8-8BED-299840942466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824415$67BAA599-9FA0-4E3D-9376-556419C72B87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87bcaa8e189a8753515af6bdca71491f1f3b70a3","datavalue":{"value":{"time":"+2016-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2824415$8C59227B-2C83-4CB6-980B-D2BC5D235431","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824415$CCFF64BE-419B-49EC-BA14-E5CABB6518F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824415$BAE85D7F-3551-46DF-839D-231E3CFBACCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824415$FEB05B08-6FC9-4AFD-AD6D-833C5E07A501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824415$24002EF8-BBA6-4BA8-8DE0-3EC48B89A0E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"057505ca4a6547f5ef6b4d4976efcb1727395a4d","datavalue":{"value":"6635011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824415$BCDE9ABF-ECC4-4740-8DDC-3F29F095EABD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824415$6C6D505A-C1B7-4203-9E5F-2CB64AA50306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824415$F8A7F0A2-DC6D-49AE-9741-81A15399577D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74f3dca56b5f06e9539c1b7f9097f820645e1a33","datavalue":{"value":"two-dimensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824415$AEB2B254-F1E3-4E5F-947F-E17EA9A1185A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2824415$BC3E710F-9334-49F0-8E7E-BF8A7251618B","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":"Q2824415$76C78823-3F7D-49FA-A3F9-4BF8A7CDCB52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8e0f9a0b74de8feb784f513038b47f5351d8309","datavalue":{"value":"10.13328/J.CNKI.JOS.004988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2824415$D962E738-143E-4708-83D4-4574AC03B51C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00a473af85e37a7f6f563d881583a362951d77ea","datavalue":{"value":{"text":"Checking satisfiability of two-dimensional logic PPTL\\(^{\\mathrm{SL}}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2824415$470AD45C-2487-4A79-8EB7-42B23EBFD904","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2320e40a42f0ae5834c1af04348ee1a7346d528","datavalue":{"value":{"entity-type":"item","numeric-id":117016,"id":"Q117016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2824415$843182E9-C6CB-41FB-BE79-2AF0030DD13D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfacba9bcb5ed4533ea46a692875a3f7c3b5f1d4","datavalue":{"value":{"entity-type":"item","numeric-id":5434501,"id":"Q5434501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70f2bef96018f92df29681c79ad6f20f44978ad8","datavalue":{"value":{"amount":"+0.7988696694374084","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":"Q2824415$CF911948-F1D8-4A55-9CA6-3F5BBD755E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e8d3eded1cedf85d4d1a0bf830ec5abb5204414","datavalue":{"value":{"entity-type":"item","numeric-id":636268,"id":"Q636268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7742061ca3f01d6c80fc84c0940eb525dba96cc6","datavalue":{"value":{"amount":"+0.789897084236145","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":"Q2824415$588B6A08-9D14-4C8C-AFD3-529DBCD0452E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd9e25efe198f661884ceaa859192f9dcf5d9b5","datavalue":{"value":{"entity-type":"item","numeric-id":2026564,"id":"Q2026564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"554288109cb04f8608c0ba67e4c5d4d907b0d931","datavalue":{"value":{"amount":"+0.7739590406417847","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":"Q2824415$48189808-C1F3-40F8-9ACA-21A4B28E285D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bc0d0a982a32d3b01e7797b4f0d8f4a290eca8","datavalue":{"value":{"entity-type":"item","numeric-id":4925273,"id":"Q4925273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a8c21ef6c21ef87828d167036cfabf4b8226864","datavalue":{"value":{"amount":"+0.7470807433128357","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":"Q2824415$A82A2CFC-D87D-4D4D-A4A7-2A43503113B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ed54078757e6b23af58f39b5e54dbd5ef19d50e","datavalue":{"value":{"entity-type":"item","numeric-id":1986561,"id":"Q1986561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06c342b02c36d2d57a4372faca51a227947e24bf","datavalue":{"value":{"amount":"+0.7306709289550781","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":"Q2824415$2D1B7763-DF67-4AD0-9F77-88129E9F94C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2824415","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2824415"}}}}}