{"entities":{"Q4992393":{"pageid":7021970,"ns":120,"title":"Item:Q4992393","lastrevid":91915511,"modified":"2026-06-05T00:23:53Z","type":"item","id":"Q4992393","labels":{"en":{"language":"en","value":"Elementary deduction problem for locally stable theories with normal forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7356673"}},"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":"Q4992393$981A5D02-D662-4112-A4DF-C9A9334A1C9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d733a596c005750bc898d04852057df0bde9c7d3","datavalue":{"value":"1464.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992393$8957F9E5-287D-44ED-AD25-92D634D06753","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992393$B84050AD-1753-43D0-ABCA-3DB7BF75850C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e491443c7df26a4927a70e826f0ef916b7e0bcd1","datavalue":{"value":{"entity-type":"item","numeric-id":405749,"id":"Q405749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992393$DCF8AC32-B7BC-4236-A07E-4ED307291454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a780894b40753623b223e1278bb24d0df726e149","datavalue":{"value":{"entity-type":"item","numeric-id":683745,"id":"Q683745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992393$18DBC6D9-61E6-4DA9-A2CD-354AF85BCAE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c88d88066583fc52827d04eea5cbbec889a8f6a1","datavalue":{"value":{"time":"+2021-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4992393$5C96E6BB-6347-4900-A066-DDFE21FB7CC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6af2c858ad3322ca8c52a2abab894f90a6d10881","datavalue":{"value":"https://arxiv.org/abs/1303.7328","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992393$2822C9AF-FCFE-420A-91A5-54D11C1F33A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e511c7b1d1c9d892279c4b071705b3552f6d1e2a","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2012.7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992393$41BF7CD5-2386-4064-A2F9-B33CC3EA098D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992393$2E3E3AFF-87D3-424D-B7F1-867548EF0993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992393$7E47281C-25B6-45D7-B4F6-D54EA007C9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992393$AAB9201D-8833-4D6B-A95C-C78B35A5F0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"771baf6ca5f0255524a58945feed67ddbd0fc776","datavalue":{"value":"03C98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992393$E6FD1D1A-C438-4787-ADF5-A46307720BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992393$2A04B50D-DBC3-4015-AEF7-41B906C345E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992393$4B6E897A-1B18-41CA-A230-793953AE922F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff355e2a5f83d97561e3217253064bd4f1620402","datavalue":{"value":"7356673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992393$E022FDA4-A661-484D-BE39-804BD047BB09","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":"Q4992393$2306DC8F-7A66-483B-9250-E7C59D2B576C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6ccd111e646f9cb6b9ca5786ce058c3dc9c8d2d","datavalue":{"value":{"entity-type":"item","numeric-id":683746,"id":"Q683746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b80f525c784191926ef0fecd33ce97218bbab7b5","datavalue":{"value":{"amount":"+0.8667608499526978","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":"Q4992393$5781F8A1-6CAA-4798-9192-9056C47A6261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5e67f3af253ac86f1b07a94b553dc79f0ad58c","datavalue":{"value":{"entity-type":"item","numeric-id":5902125,"id":"Q5902125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4031f8b8fa43fcfea124b1cacd5c255a59191680","datavalue":{"value":{"amount":"+0.814592182636261","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":"Q4992393$924C6820-5744-4C37-8162-75F57F79DACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d561c31ef58d5a8f7573ee94598d2d324ee800","datavalue":{"value":{"entity-type":"item","numeric-id":5890483,"id":"Q5890483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"300def02211c1dbeaaaf9f1e81293f8499f2b0d4","datavalue":{"value":{"amount":"+0.8114424347877502","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":"Q4992393$06E28C79-342D-4A07-94C6-DF3B3B831AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d6c675358d48cce0456c9210e0593dc30d902a","datavalue":{"value":{"entity-type":"item","numeric-id":4931602,"id":"Q4931602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774203712b0b2592304d5ab55f27191120db82db","datavalue":{"value":{"amount":"+0.7798978090286255","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":"Q4992393$EB2453D0-B5CC-417C-AC21-DBE251F5DAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3636626b40b876c246b33493d777fa8a11894f4c","datavalue":{"value":{"entity-type":"item","numeric-id":5703858,"id":"Q5703858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"654060eec9c3538a609eabeebfd12465435b10a3","datavalue":{"value":{"amount":"+0.739504337310791","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":"Q4992393$670232E8-F72A-4158-9760-576614E43A2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary deduction problem for locally stable theories with normal forms","badges":[]}}}}}