{"entities":{"Q685065":{"pageid":686914,"ns":120,"title":"Item:Q685065","lastrevid":47188000,"modified":"2025-12-31T23:06:02Z","type":"item","id":"Q685065","labels":{"en":{"language":"en","value":"A decision algorithm for linear sentences on a PFM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 416878"}},"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":"Q685065$D24E40F9-93AC-4FD1-89C6-961522EF1B33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1dbd2d8515c72d2bc13ba909cb939a6a343a62d","datavalue":{"value":{"text":"A decision algorithm for linear sentences on a PFM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685065$613D5CCE-5A83-42EA-BE71-755CEDBF370D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f266aff31157eaecdebf04ebc13e65dcb888e89","datavalue":{"value":"0788.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685065$F90FCB63-4CF7-42E6-981E-25F77573439F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36e823411ab55fe6720ec57e00cecc301197de18","datavalue":{"value":"10.1016/0168-0072(93)90097-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685065$7B22B413-9008-4C94-B2A0-63C6A355425F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0422a33a0bdb6abfb1e0f0a29ba265c3016fa8ee","datavalue":{"value":{"entity-type":"item","numeric-id":543119,"id":"Q543119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685065$F2B8C7C7-4C29-429C-BBBD-4B566AB4CE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1572751e0e75c5e9bb4971b3f29bc013c4a784fa","datavalue":{"value":{"entity-type":"item","numeric-id":307706,"id":"Q307706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685065$B8DA76B2-60A5-4EE1-8BF7-24F2FB3E99C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e73a5fc5157505c81b2beb4e3401b97c9d45091d","datavalue":{"value":{"entity-type":"item","numeric-id":685064,"id":"Q685064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685065$119DA5A6-5598-4081-BB2D-B82962796C17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685065$DF9AFD50-1E71-49FB-B306-F645931C8D83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6918393775fb1c8826438f5277bce44cf6f24c36","datavalue":{"value":{"time":"+1993-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685065$2E32A1E4-B0BF-49C9-BBAD-96B41F52A7DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685065$520E4773-DC57-4B4E-BC66-CCC549B3572F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685065$DC3F863A-359F-420D-99C7-5B5F5A884941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685065$459BFE30-FDCB-4D11-B4F7-18782039F72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685065$1E1557EE-9C85-4014-B295-B158882BDE7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d2eefcd56c62aec46592bf05c482ab92f25ccb9","datavalue":{"value":"416878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685065$92A4C102-05F5-4742-959C-C881AC26D675","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3304f4c513efcef21f3756a18ed9fa248d2af35a","datavalue":{"value":"theorem proving for algebraic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q685065$2E9A46A2-85AE-4C6B-8948-D533C4A41119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f3b998886b14707b2e1043efa7e6b5d81c9c9ae","datavalue":{"value":"finitely generated module over principal ideal domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q685065$F88C2AB5-4653-48C6-BCAA-5270E047DF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q685065$70CB32FA-3A28-4AAA-A525-C360D71D8618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07199ed8e530bfe8ec2e17a63502dc5f51b4c9cd","datavalue":{"value":"deciding problem for truth of sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q685065$1F1032EA-3B08-4F02-97D3-C69621B7B250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fad5cd52912f35f6a5c40a862d7d281b58774cc","datavalue":{"value":"symbolic computation problem for linear systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q685065$4534AD1D-BD8B-4D69-AA89-2E324EB47502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b883a07e1117527814614031b8a54a2d2796082","datavalue":{"value":"algebraic decision method","type":"string"},"datatype":"string"},"type":"statement","id":"Q685065$881B142D-73D9-4395-94E5-06F27E82D665","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":"Q685065$4E67AC79-7DDA-4ABC-AD66-DE8446BD713E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09eeb53a57e3a236ec25f8fdd27770ac54074dcb","datavalue":{"value":{"entity-type":"item","numeric-id":593775,"id":"Q593775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685065$60A61932-8F6A-460B-BD56-8198A1D06935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e004ad7c53d1b6136d8c12b096d8cc2682099b5","datavalue":{"value":{"entity-type":"item","numeric-id":1099642,"id":"Q1099642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685065$DC2EB000-E36C-4B7D-BD29-E01950EBD10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685065$F415218E-8D56-44E3-8136-E12E5403A1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685065$9751EBA3-BB3E-4CCD-98A3-D42D0BB29E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f63aa190596f5f038c76fee579c3a35ac46998","datavalue":{"value":{"entity-type":"item","numeric-id":4771385,"id":"Q4771385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685065$FC061AD4-FD3C-4C82-934E-74F4042FC54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efecbc2634496d67ceaab3caa52ae007180dd69a","datavalue":{"value":{"entity-type":"item","numeric-id":3882586,"id":"Q3882586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685065$A4E56B4C-0200-4652-A263-516BA1BD7D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727079b56cd73b62009131634b9e239952aac993","datavalue":{"value":{"entity-type":"item","numeric-id":3802506,"id":"Q3802506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685065$BDA75D50-90C6-4575-8A05-8DFF38987A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135670d012bab6a5aca266dbc04a06e23fa8f267","datavalue":{"value":{"entity-type":"item","numeric-id":1082773,"id":"Q1082773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685065$649A7B71-C406-429A-8B9A-4213546A09F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dcafb238e6ba98f691c336bb9a0d0dc6d0f213d","datavalue":{"value":{"entity-type":"item","numeric-id":3891677,"id":"Q3891677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685065$EB710265-2C9C-47DA-920D-78FF1BAAD37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b452687b0f2926e225ebc525d01e4396eeb43cd2","datavalue":{"value":{"entity-type":"item","numeric-id":685065,"id":"Q685065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685065$4942EE5C-2858-4DA4-8AA3-D3E279E99FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfb9c15eb8582237fb4b4fbea1ff81538e5bf8f","datavalue":{"value":{"entity-type":"item","numeric-id":3216155,"id":"Q3216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685065$E582EE14-E533-4686-B3F7-84B3CB60DF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b36b5375ea86992201f1c73b98a4c5e40bd134d7","datavalue":{"value":{"entity-type":"item","numeric-id":3753938,"id":"Q3753938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685065$24743AB3-088F-432E-B296-6805E1EFEE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3da358b9262495cd1cc8d4b86656efe69ff77480","datavalue":{"value":{"entity-type":"item","numeric-id":1226083,"id":"Q1226083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685065$79210E0B-5CC4-41F3-998F-D0D7D7E94A01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ef71938eca3c27012ff9733d88b59de69cd7c29","datavalue":{"value":"https://doi.org/10.1016/0168-0072(93)90097-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q685065$92417761-C7CC-4A8B-BFDE-1A4EBD9C0E5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0dba01c0745ef7e3dbf53be2cdea1573b99cdd67","datavalue":{"value":"W2069336915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685065$8CBBB0BF-1D03-4F46-B771-DA2059A594DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9af8b2a1129015656e53256f36244d303a1a089","datavalue":{"value":{"entity-type":"item","numeric-id":1103602,"id":"Q1103602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c099d3e2efe8142c8103d8c1dd6fd9c183940103","datavalue":{"value":{"amount":"+0.7650672197341919","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":"Q685065$68A8F3F1-7BE4-4EFE-9133-0B7200C6A9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19cc85bb773f5184b617ed3912ebb9456a38df64","datavalue":{"value":{"entity-type":"item","numeric-id":1187032,"id":"Q1187032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"870491e412b40ad3be65be41e9028a5316cda809","datavalue":{"value":{"amount":"+0.7603246569633484","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":"Q685065$4543D95F-914C-4D99-8BE8-C70710F22010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bff8649edf39cf9f16a13b5a717d7847116d30","datavalue":{"value":{"entity-type":"item","numeric-id":920964,"id":"Q920964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c85b432959e0d65f285e835619529ea8fe9b4b4","datavalue":{"value":{"amount":"+0.7594255208969116","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":"Q685065$0D7C2C88-60D9-4B0E-A184-96BF23682BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9dc5716158451f76149ef6004cbc95136f50997","datavalue":{"value":{"entity-type":"item","numeric-id":4503970,"id":"Q4503970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"139720a97328a369b3ec228b4af3dc9c74086e26","datavalue":{"value":{"amount":"+0.7593101859092712","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":"Q685065$91A43935-8E13-4970-8EA3-5468F624D77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc3d618df76ee452f13f3e799a67322dd825936","datavalue":{"value":{"entity-type":"item","numeric-id":3784041,"id":"Q3784041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a08602a056f5cbfa98e2663cff4127ce208ee7e","datavalue":{"value":{"amount":"+0.7410982251167297","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":"Q685065$3A0598C0-5CA3-4952-A834-F9351B18345F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685065","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685065"}}}}}